scientific article; zbMATH DE number 4087001

MaRDI QIDQ3815522zbMATH OpenFDO

Authors Glenn H. MacEwen, D. B. Skillicorn

Publication date 1988

zbMATH Keywords

distributed real-time logichigher level specification languageshigher-order logicmodular specificationreal-time distributed systemssemantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applications and Theory of Petri Nets 2004
• Modular abstractions for verifying real-time distributed systems
• A temporal logic for real-time partial ordering with named transactions
• Logical specification of reactive and real-time systems
• scientific article; zbMATH DE number 1949604

Cited in

(2)

• : A distributed real-time logic language
• scientific article; zbMATH DE number 1418374 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3815522)