Compositional semantics for real-time distributed computing

Authors:
R. Koymans;R. K. Shyamasundar;W. P. de Roever;R. Gerth;S. Arun-Kumar
Affiliations:
Eindhoven Univ. of Technology, Eindhoven, The Netherlands;Tata Institute for Fundamental Research, India;Eindhoven Univ. of TEchnology, Eindhoven, The Netherlands;Eindhoven Univ. of TEchnology, Eindhoven, The Netherlands;Tata Institute for Fundamental Research, India
Venue:
Information and Computation
Year:
1988

An operational semantics of real time design language RT-CDL

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Reasoning of real-time distributed programming languages

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Static Analysis of Real-Time Distributed Systems

IEEE Transactions on Software Engineering
Functional specification of time-sensitive communicating systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Reactive framework for resource aware distributed computing

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
A small step for mankind

Concurrency, Compositionality, and Correctness
A proof system for a PGAS language

Concurrency, Compositionality, and Correctness
RT-CDL: A distributed real-time design language and its operational semantics

Computer Languages

Hi-index	0.00