Polychrony
From MaRDI portal
Cited in
(28)- Formal sequentialization of distributed systems via program rewriting
- Constructive polychronous systems
- scientific article; zbMATH DE number 2112983 (Why is no real title available?)
- Formal modelling and verification of GALS systems using GRL and CADP
- Formal Methods for Components and Objects
- Design automation of real life asynchronous devices and systems
- A metamodel for the design of polychronous systems
- Compositional design of isochronous systems
- SynDEx
- SIGNAL
- POLIS
- B4Free
- Ptolemy
- Giotto
- LUSTRE
- Quartz
- RAVEN
- LusSy
- GenCCSL
- TimeSquare
- GRL
- Esterel
- AADL
- MARTE
- GME
- A compositional behavioral modeling framework for embedded system design and conformance checking
- A framework for modeling the distributed deployment of synchronous designs
- An algebraic theory for behavioral modeling and protocol synthesis in system design
This page was built for software: Polychrony
