Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings (English)
National licence
- New search for: Diepstraten, Eduard
- New search for: Kuiper, Ruurd
- New search for: Diepstraten, Eduard
- New search for: Kuiper, Ruurd
In:
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness
;
208-238
;
1990
- Article/Chapter (Book) / Electronic Resource
-
Title:Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappings
-
Contributors:Diepstraten, Eduard ( author ) / Kuiper, Ruurd ( author )
-
Published in:Lecture Notes in Computer Science ; 430 ; 208-238
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1990-01-01
-
Size:31 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Composing specificationsAbadi, Martín / Lamport, Leslie et al. | 1990
- 42
-
Refinement calculus, part I: Sequential nondeterministic programsBack, R. J. R. / Wright, J. et al. | 1990
- 67
-
Refinement calculus, part II: Parallel and reactive programsBack, R. J. R. et al. | 1990
- 94
-
MetateM: A framework for programming in temporal logicBarringer, Howard / Fisher, Michael / Gabbay, Dov / Gough, Graham / Owens, Richard et al. | 1990
- 130
-
Constraint-oriented specification in a constructive formal description techniqueBrinksma, Ed et al. | 1990
- 153
-
Functional specification of time sensitive communicating systemsBroy, Manfred et al. | 1990
- 180
-
Modular verification of Petri NetsDamm, Werner / Döhmen, Gert / Gerstner, Volker / Josko, Bernhard et al. | 1990
- 208
-
Abadi & Lamport and stark: Towards a proof theory for stuttering, dense domains and refinement mappingsDiepstraten, Eduard / Kuiper, Ruurd et al. | 1990
- 239
-
Algebraic implementation of objects over objectsEhrich, H. -D. / Sernadas, A. et al. | 1990
- 267
-
Refinement of actions in causality based modelsGlabbeek, Rob / Goltz, Ursula et al. | 1990
- 301
-
Transformation of combined data type and process specifications using projection algebrasGroße-Rhode, M. / Ehrig, H. et al. | 1990
- 340
-
Various simulations and refinementsJifeng, He et al. | 1990
- 361
-
On decomposing and refining specifications of distributed systemsJonsson, Bengt et al. | 1990
- 386
-
Verifying the correctness of AADL modules using model checkingJosko, Bernhard et al. | 1990
- 401
-
Specialization in logic programming: From horn clause logic to prolog and concurrent prologKok, Joost N. et al. | 1990
- 414
-
Analysis of discrete event coordinationKurshan, R. P. et al. | 1990
- 454
-
Refinement and projection of relational specificationsLam, Simon S. / Shankar, A. Udaya et al. | 1990
- 487
-
Compositional theories based on an operational semantics of contextsLarsen, Kim Guldstrand et al. | 1990
- 519
-
Multivalued possibilities mappingsLynch, Nancy A. et al. | 1990
- 544
-
Completeness theorems for automataMerritt, Michael et al. | 1990
- 561
-
Formal verification of data type refinement — Theory and practiceNipkow, Tobias et al. | 1990
- 592
-
From trace specifications to process termsOlderog, Ernst-Rüdiger et al. | 1990
- 622
-
Some comments on the assumption-commitment framework for compositional verification of distributed programsPandya, Paritosh K. et al. | 1990
- 641
-
Refinement of concurrent systems based on local state transformationsPomello, Lucia et al. | 1990
- 669
-
Construction of network protocols by stepwise refinementShankar, A. Udaya / Lam, Simon S. et al. | 1990
- 696
-
A derivation of a broadcasting protocol using sequentially phased reasoningStomp, F. A. et al. | 1990
- 731
-
Verifying atomic data typesWing, Jeannette M. et al. | 1990
- 759
-
Predicates, predicate transformers and refinementZwiers, Job et al. | 1990
- 777
-
Foundations of compositional program refinementGerth, Rob et al. | 1990