A linear-history semantics for languages for distributed programming

Authors:
N. Francez;D Lehmann;A Pnueli
Affiliations:
Technion-Israel Institute of Technology, Haifa, Israel;The Hebrew University, Jerusalem, Israel;Weizmann Institute of Science, Rehovot, Israel
Venue:
Theoretical Computer Science
Year:
1984

Citing 0
Cited 7

Transition systems, infinitary languages and the semantics of uniform concurrency

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Full abstraction of a real-time denotational semantics for an OCCAM-like language

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Static Analysis of Real-Time Distributed Systems

IEEE Transactions on Software Engineering
The Specification and Verified Decomposition of System Requirements Using CSP

IEEE Transactions on Software Engineering
An epistemic proof system for parallel processes: extended abstract

TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
A complete axiomatic semantics of spawning

Distributed Computing
RT-CDL: A distributed real-time design language and its operational semantics

Computer Languages

Quantified Score

Hi-index	5.23

Visualization

Abstract