|
2677
|
Communicating Sequential Processes
– Hoare
- 1995
|
|
477
|
Conjoining specifications
– Abadi, Lamport
- 1993
|
|
459
|
Semantics of a Simple Language for Parallel Programming
– Kahn
- 1974
|
|
170
|
Specifying concurrent program modules
– Lamport
- 1983
|
|
132
|
Mathematical Theory of Computation
– MANNA
- 1974
|
|
123
|
Coroutines and Networks of Parallel Processes
– Kahn, MacQueen
- 1977
|
|
71
|
et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2
– Hudak
- 1992
|
|
61
|
Specification and Transformation of Programs
– Partsch
- 1990
|
|
53
|
the Dataflow Programming Language
– Wadge, Ashcroft, et al.
- 1985
|
|
51
|
A proof of the Kahn principle for input/output automata
– Lynch, Stark
- 1989
|
|
35
|
Conjoining Speci cations
– Abadi, Lamport
- 1993
|
|
31
|
Denotational models for parallel programs with indeterminate operators
– Keller
- 1978
|
|
29
|
Towards a design calculus for communicating programs
– Olderog
- 1991
|
|
7
|
From service specification to protocol entity implementation - an exercise in FOCUS
– Dendorfer, Weber
- 1992
|
|
5
|
Speci cation and Transformation of Programs
– Partsch
- 1990
|
|
4
|
Parallel program development for a recursive numerical algorithm: a case study. SFB-Bericht Nr. 342/7/92a, Technische Universitaet Muenchen
– Gorlatch
- 1992
|
|
3
|
Eine Zeigerimplementierung von Graphreduktion f��ur eine Datenflu��prache. Diploma thesis
– Nueckel
- 1988
|
|
3
|
Eine Methodik fur die formale Anforderungspezi kation verteilter Systeme, Report 342/13/92 A, Technische Universitat Munchen
– Weber
- 1992
|
|
3
|
the data ow programming language
– Lucid
- 1985
|
|
2
|
From service speci cation to protocol entity implementation { an exercise in formal protocol development
– Dendorfer, Weber
- 1992
|
|
1
|
A survey and classification of some transformation approaches and techniques
– Feather
- 1987
|
|
1
|
The Foundations of Program Verification. WileyTeubner, 2nd edition
– Loeckx, Sieber
- 1987
|
|
1
|
Some comments on the assumption commitment framework for compositional verfication of distributed programs
– Pandya
- 1990
|
|
1
|
A survey and classi cation of some transformation approaches and techniques
– Feather
- 1987
|
|
1
|
et al. PROgram development by SPECi cation and TRAnsformation
– Krieg-Bruckner
- 1990
|
|
1
|
developmentby SPECi cation and TRAnsformation
– PROgram
- 1990
|
|
1
|
The Foundations of Program Veri cation. WileyTeubner, 2nd edition
– Loeckx, Sieber
- 1987
|
|
