Compositionality, concurrency, and partial correctness : proof theories for networks of processes, and their relationship
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540508458
3540508457
9780387508450
0387508457
- Maße
-
25 cm
- Umfang
-
VI, 272 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 266 - 272
- Erschienen in
-
Lecture notes in computer science ; Vol. 321
- Schlagwort
-
Nebenläufigkeit
Programmverifikation
Dekomposition
Partiell korrektes Programm
Parallelbetrieb
Verifikation (Datenverarbeitung)
Parallelbetrieb
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
1989
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:36 MESZ
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
- Zwiers, Jakob
- Springer
Entstanden
- 1989
Ähnliche Objekte (12)
A new correctness proof for prim's algorithm
Modal Kleene Algebra and Partial Correctness
Modal Kleene Algebra and partial correctness
A machine-checked proof of correctness of Pastry
A general semiunification algorithm and its correctness proof
Algebras of modal operators and partial correctness
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Design and proof of multipliers by correctness-preserving transformation
Proof complexity of Satisfiability Modulo Theories
Logical Relations for Partial Features and Automatic Differentiation Correctness
A WAM extension for type constraint logic programming : specification and correctness proof
Theories of concurrency : unification and extension ; Amsterdam, The Netherlands, August 27 - 30, 1990 ; proceedings
A new correctness proof for prim's algorithm
Modal Kleene Algebra and Partial Correctness
Modal Kleene Algebra and partial correctness
A machine-checked proof of correctness of Pastry
A general semiunification algorithm and its correctness proof
Algebras of modal operators and partial correctness
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Design and proof of multipliers by correctness-preserving transformation
Proof complexity of Satisfiability Modulo Theories
Logical Relations for Partial Features and Automatic Differentiation Correctness
A WAM extension for type constraint logic programming : specification and correctness proof
Theories of concurrency : unification and extension ; Amsterdam, The Netherlands, August 27 - 30, 1990 ; proceedings
A new correctness proof for prim's algorithm
Modal Kleene Algebra and Partial Correctness
Modal Kleene Algebra and partial correctness
A machine-checked proof of correctness of Pastry
A general semiunification algorithm and its correctness proof
Algebras of modal operators and partial correctness
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
Design and proof of multipliers by correctness-preserving transformation
Proof complexity of Satisfiability Modulo Theories
Logical Relations for Partial Features and Automatic Differentiation Correctness
A WAM extension for type constraint logic programming : specification and correctness proof