- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783662451977
9787313120830
3662451972
- Dimensions
-
24 cm
- Extent
-
XIV, 249 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Keyword
-
Nebenläufigkeit
Operationale Semantik
Prozessalgebra
Wahrscheinlichkeitstheorie
Halbordnung
Bisimulation
Testen
- Event
-
Veröffentlichung
- (where)
-
Shanghai, Heidelberg, New York, NY, Dordrecht, London, Berlin
- (who)
-
Shanghai Jiao Tong Univ. Press, Springer
- (when)
-
© 2014
- Creator
-
Deng, Yuxin
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:15 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Deng, Yuxin
- Shanghai Jiao Tong Univ. Press, Springer
Time of origin
- © 2014
Other Objects (12)
Operational semantics of UML 2.0 interactions
Probabilistic models of natural language semantics
Operational semantics and verification of security protocols
Operational semantics for the Petri box calculus
Operational Restrictions in General Probabilistic Theories
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Defining domain specific operational semantics for activity diagrams
The connection between an event structure semantics and an operational semantics for TCSP
Semantics and loop invariant synthesis for probabilistic programs
A proposal for the operational semantics of concurrent TTCN
A structural operational semantics of a concurrent class calculus
Probabilistic approach to risk processes with level-dependent premium rate
Operational semantics of UML 2.0 interactions
Probabilistic models of natural language semantics
Operational semantics and verification of security protocols
Operational semantics for the Petri box calculus
Operational Restrictions in General Probabilistic Theories
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Defining domain specific operational semantics for activity diagrams
The connection between an event structure semantics and an operational semantics for TCSP
Semantics and loop invariant synthesis for probabilistic programs
A proposal for the operational semantics of concurrent TTCN
A structural operational semantics of a concurrent class calculus
Probabilistic approach to risk processes with level-dependent premium rate
Operational semantics of UML 2.0 interactions
Probabilistic models of natural language semantics
Operational semantics and verification of security protocols
Operational semantics for the Petri box calculus
Operational Restrictions in General Probabilistic Theories
Semantics of probabilistic typed lambda calculus : markov chain semantics, termination behavior, and denotational semantics
Defining domain specific operational semantics for activity diagrams
The connection between an event structure semantics and an operational semantics for TCSP
Semantics and loop invariant synthesis for probabilistic programs
A proposal for the operational semantics of concurrent TTCN
A structural operational semantics of a concurrent class calculus