Download:
|
by J. Zwiers, U. Hannemann, Y. Lakhneche, W. -p. De Roever
http://www.informatik.uni-kiel.de/~yl/fsttcs.ps.gz
Add To MetaCart
Abstract:
Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems
Citations
|
2677
|
Communicating Sequential Processes
– Hoare
- 1978
|
|
993
|
The Z notation: a reference manual
– Spivey
- 1992
|
|
737
|
The temporal logic of actions
– Lamport
- 1994
|
|
658
|
A Note on Two Problems in Connexion with Graphs. Numerische Mathematik
– Dijkstra
- 1959
|
|
592
|
Systematic Software Development Using VDM
– Jones
- 1990
|
|
182
|
Program Development by Stepwise Refinement
– Wirth
- 1971
|
|
126
|
Chandy, Proofs of networks of processes
– Misra, M
- 1981
|
|
54
|
Procedures and Parameters: an axiomatic approach
– Hoare
- 1971
|
|
49
|
Development Methods for Computer Programs including a Notion of Interference
– Jones
- 1981
|
|
24
|
P-A logic: a compositional proof system for distributed programs
– Pandya, Joseph
- 1991
|
|
21
|
Verifiable Programming
– Dahl
- 1992
|
|
8
|
A proof system for partial correctness of Dynamic Networks of Processes
– Zwiers, Bruin, et al.
- 1984
|
|
2
|
An Axiomatic Basis for Programming
– Hoare
- 1969
|
|
2
|
Emde Boas,P.: Compositionality and concurrent networks: soundness and completeness of a proof system
– Zwiers, Roever, et al.
- 1984
|
|
1
|
Modular complete proof systems for distributed processes
– Hannemann
- 1994
|
|
1
|
He Jifeng and Sanders,J.W.,Prespecification
– Hoare
- 1987
|
|
1
|
On the Notion of Expressiveness and the
– Olderog
- 1983
|
|
1
|
Olderog: Process theory: Semantics, specification and verification
– E-R
- 1986
|
|
1
|
Reynolds:The craft of programming
– C
- 1981
|
|
1
|
de Roever: Predicates are Predicate Transformers: a Unified Compositional Theory for Concurrency
– Zwiers, W-P
- 1989
|
