Reasoning of real-time distributed programming languages

Authors:
R. K. Shyamasundar;J. Hooman;R. Gerth
Affiliations:
Pennsylvania State University and Tata Institute of Fundamental Research;Eindhoven University of Technology;Eindhoven University of Technology
Venue:
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Year:
1989

Citing 6
Cited 0

Communicating sequential processes

Communicating sequential processes
Static analysis of real-time distributed systems

Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Compositional semantics for real-time distributed computing

Information and Computation
Real time languages: design and development

Real time languages: design and development
Toward a discipline of real-time programming

Communications of the ACM
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem

Proceedings of the 12th Colloquium on Automata, Languages and Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract