- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783662451977
9787313120830
3662451972
- Maße
-
24 cm
- Umfang
-
XIV, 249 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Schlagwort
-
Nebenläufigkeit
Operationale Semantik
Prozessalgebra
Wahrscheinlichkeitstheorie
Halbordnung
Bisimulation
Testen
- Ereignis
-
Veröffentlichung
- (wo)
-
Shanghai, Heidelberg, New York, NY, Dordrecht, London, Berlin
- (wer)
-
Shanghai Jiao Tong Univ. Press, Springer
- (wann)
-
© 2014
- Urheber
-
Deng, Yuxin
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Deng, Yuxin
- Shanghai Jiao Tong Univ. Press, Springer
Entstanden
- © 2014
Ähnliche Objekte (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