Polychrony
From MaRDI portal
Software:24231
swMATH12302MaRDI QIDQ24231FDOQ24231
Author name not available (Why is that?)
Cited In (11)
- Formal sequentialization of distributed systems via program rewriting
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- Formal modelling and verification of GALS systems using GRL and CADP
- Design automation of real life asynchronous devices and systems
- Constructive Polychronous Systems
- A metamodel for the design of polychronous systems
- Compositional design of isochronous systems
- 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
