Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

DOI10.1145/2933575.2934503zbMath1401.68013arXiv1510.06379OpenAlexW2239495252MaRDI QIDQ4635940

Stavros Tripakis, Viorel Preoteasa

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.06379

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (2)

The refinement calculus of reactive systems ⋮ Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

Uses Software

• Isabelle
• Isabelle/HOL

This page was built for publication: Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems