An operational semantics of real time design language RT-CDL

Authors:
L. Y. H. Liu;R. K. Shyamasundar
Affiliations:
333 Whitmore Laboratory, Department of Computer Science, The Pennsylvania State University, University Park, PA;333 Whitmore Laboratory, Department of Computer Science, The Pennsylvania State University, University Park, PA
Venue:
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Year:
1989

Citing 7
Cited 1

Real-time Euclid: a language for reliable real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Applications of temporal logic to the specification of real time systems (extended abstract)

Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
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
The non-problem of nested monitor calls

ACM SIGOPS Operating Systems Review

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

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract