Synchronous structures

Authors:
David Nowak
Affiliations:
Research Center for Information Security, National Institute of Advanced Industrial Science and Technology, Chiyoda-ku, Tokyo, Japan
Venue:
Information and Computation
Year:
2006

Citing 11
Cited 5

Event structures

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
Clocks in dataflow languages

Theoretical Computer Science
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Compositionality in dataflow synchronous languages: specification and distributed code generation 1,2,3

Information and Computation
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
Fair Synchronous Transition Systems and Their Liveness Proofs

FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Interaction Categories

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods
Modelling SIGNAL in Interaction Categories

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods
BDL, A Language of Distributed Reactive Objects

ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

Causal Semantics for the Algebra of Connectors

Formal Methods for Components and Objects
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework

Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling synchronous systems in BIP

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Causal semantics for the algebra of connectors

Formal Methods in System Design
An alternative polychronous model and synthesis methodology for model-driven embedded software

Proceedings of the 2010 Asia and South Pacific Design Automation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 by structural decomposition of them into elementary processes. We define an order-theoretical model that gives a unified mathematical for-malisation of all the above aspects of the synchronous methodology and characterises the essentials of the synchronous paradigm.