Observation of software for distributed systems with RCL

DOI10.1007/3-540-60692-0_49MaRDI QIDQ2956683zbMATH OpenOpenAlexFDO

Authors Alexander I. Tomlinson, Vijay K. Garg

Publication date 19 January 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60692-0_49

Mathematics Subject Classification ID

Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1823196
• scientific article; zbMATH DE number 148937
• An experiment in program composition and proof
• On the duality between observability and reachability
• Detecting races in relay ladder logic programs

This page was built for publication: Observation of software for distributed systems with RCL

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