Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540508458
3540508457
9780387508450
0387508457
- Dimensions
-
25 cm
- Extent
-
VI, 272 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturverz. S. 266 - 272
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 321
- Keyword
-
Nebenläufigkeit
Programmverifikation
Dekomposition
Partiell korrektes Programm
Parallelbetrieb
Verifikation (Datenverarbeitung)
Parallelbetrieb
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (who)
-
Springer
- (when)
-
1989
- Creator
- 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, 1:36 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
- Zwiers, Jakob
- Springer
Time of origin
- 1989
Other Objects (12)
A new correctness proof for prim's algorithm
Modal Kleene Algebra and partial correctness
Modal Kleene Algebra and Partial Correctness
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
A general semiunification algorithm and its correctness proof
A machine-checked proof of correctness of Pastry
Algebras of modal operators and partial correctness
Design and proof of multipliers by correctness-preserving transformation
Reasoning about orchestrations of web services using partial correctness
Logical Relations for Partial Features and Automatic Differentiation Correctness
Proof complexity of Satisfiability Modulo Theories
A WAM extension for type constraint logic programming : specification and correctness proof
A new correctness proof for prim's algorithm
Modal Kleene Algebra and partial correctness
Modal Kleene Algebra and Partial Correctness
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
A general semiunification algorithm and its correctness proof
A machine-checked proof of correctness of Pastry
Algebras of modal operators and partial correctness
Design and proof of multipliers by correctness-preserving transformation
Reasoning about orchestrations of web services using partial correctness
Logical Relations for Partial Features and Automatic Differentiation Correctness
Proof complexity of Satisfiability Modulo Theories
A WAM extension for type constraint logic programming : specification and correctness proof
A new correctness proof for prim's algorithm
Modal Kleene Algebra and partial correctness
Modal Kleene Algebra and Partial Correctness
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
A general semiunification algorithm and its correctness proof
A machine-checked proof of correctness of Pastry
Algebras of modal operators and partial correctness
Design and proof of multipliers by correctness-preserving transformation
Reasoning about orchestrations of web services using partial correctness
Logical Relations for Partial Features and Automatic Differentiation Correctness
Proof complexity of Satisfiability Modulo Theories