- 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.03.2025, 11:54 AM CET
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 for the Petri box calculus
Operational semantics and verification of security protocols
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 structural operational semantics of a concurrent class calculus
A proposal for the operational semantics of concurrent TTCN
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge
An operational semantics for the extended compliance rule graph language
Operational semantics of UML 2.0 interactions
Probabilistic models of natural language semantics
Operational semantics for the Petri box calculus
Operational semantics and verification of security protocols
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 structural operational semantics of a concurrent class calculus
A proposal for the operational semantics of concurrent TTCN
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge
An operational semantics for the extended compliance rule graph language
Operational semantics of UML 2.0 interactions
Probabilistic models of natural language semantics
Operational semantics for the Petri box calculus
Operational semantics and verification of security protocols
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 structural operational semantics of a concurrent class calculus
A proposal for the operational semantics of concurrent TTCN
Probabilistic Cognition for Autonomous Systems: Abstraction, Semantics and Knowledge