- Sprache
-
Englisch
- Umfang
-
XII, 190 S.
- ISBN
-
0-387-98717-7
- Identifier
-
962324922
- Reihe
-
Texts in computer science
Thema
Nebenläufigkeit ; Prozessalgebra ; Bisimulation ; Modallogik ; My-Kalkül ; Temporale Logik
Beteiligte Personen und Organisationen
Stirling, Colin
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:24 MESZ
Objekttyp
- Monografie
Beteiligte
- Stirling, Colin
Ähnliche Objekte (12)
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying temporal properties of systems
Unfoldings : a partial order approach to model checking
The temporal logic of reactive and concurrent systems : specification
Specification and verification of concurrent systems
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Automata logics, and infinite games : a guide to current research
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Mobility in process calculi and natural computing
Model checking based data retrieval : an application to semistructured and temporal data
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying temporal properties of systems
Unfoldings : a partial order approach to model checking
The temporal logic of reactive and concurrent systems : specification
Specification and verification of concurrent systems
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Automata logics, and infinite games : a guide to current research
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Mobility in process calculi and natural computing
Model checking based data retrieval : an application to semistructured and temporal data
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verifying temporal properties of systems
Unfoldings : a partial order approach to model checking
The temporal logic of reactive and concurrent systems : specification
Specification and verification of concurrent systems
Typed lambda calculi and applications : 10th international conference ; proceedings
Typed lambda calculi and applications : 11th international conference ; proceedings
Automata logics, and infinite games : a guide to current research
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
Mobility in process calculi and natural computing