scientific article; zbMATH DE number 5175531
From MaRDI portal
Publication:5295514
zbMath1138.68469MaRDI QIDQ5295514
Dumitru Potop-Butucaru, Benoît Caillaud
Publication date: 30 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
asynchronous systemssemantics preservationendochronous systemsglobally asynchronousgynchronous systemsKahn processeslocally synchronous (GALS) architectures
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Distributed Control of Discrete-Event Systems: A First Step ⋮ Asynchronous Logic Circuits and Sheaf Obstructions ⋮ Formalization and correctness of the PALS architectural pattern for distributed real-time systems
This page was built for publication:
