Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
Theoretical Computer Science
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Interaction categories (extended abstract)
Proceedings of the First Imperial College Department of Computing Workshop on Theory and formal methods 1993
Modelling signal in interaction categories
Proceedings of the First Imperial College Department of Computing Workshop on Theory and formal methods 1993
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Co-inductive Axiomatization of a Synchronous Language
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
BDL, A Language of Distributed Reactive Objects
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Formal Refinement Checking in a System-level Design Methodology
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
| Hi-index | 0.00 |
Synchronous languages have been designed to ease the development of reactive systems, by providing a methodological framework for assisting system designers from the early stages of requirement specifications to the final stages of code generation or circuit production. Synchronous languages enable a very high-level specification and an extremely modular design of complex reactive systems. We define an order-theoretical model that gives a unified mathematical formalization of all the above aspects of the synchronous methodology (from relations to circuits). The model has been specified and validated using a theorem prover as part of the certified, reference compiler of a synchronous programming language.