Author:
Broy Manfred,Streicher Thomas
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference11 articles.
1. F. Kröger, Temporal Logic of Programs,EATCS Monographs in Computer Science, Vol. 8, Springer (1987).
2. M. Broy, A Theory of Nondeterminism, Parallelism, Communication and Concurrency,TCS,45:1?61 (1986).
3. M. Broy, Semantics of Finite and Infinite Networks of Communicating Agents,Distributed Computing,2:13?31 (1987).
4. Proc. of the IFIP Congress;G. Kahn,1974
5. W. W. Wadge and E. A. Ashcroft,Lucid, the Dataflow Programming Language, Academic Press (1985).