- Language
-
Englisch
- Extent
-
XII, 190 S.
- ISBN
-
0-387-98717-7
- Identifier
-
962324922
- Series
-
Texts in computer science
Subject
Nebenläufigkeit ; Prozessalgebra ; Bisimulation ; Modallogik ; My-Kalkül ; Temporale Logik
Contributor
Stirling, Colin
- Table of contents
- Rights
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Last update
-
16.08.2023, 6:24 PM CEST
Object type
- Monografie
Associated
- Stirling, Colin
Other Objects (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
Mobility in process calculi and natural computing
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
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
Mobility in process calculi and natural computing
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday
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
Mobility in process calculi and natural computing
Logic programs, norms and action : essays in honor of Marek J. Sergot on the occasion of his 60th birthday