An algebraic theory for behavioral modeling and protocol synthesis in system design

DOI10.1007/s10703-006-7845-7zbMath1099.68501OpenAlexW2062949277MaRDI QIDQ2505638

Paul Le Guernic, Jean-Pierre Talpin

Publication date: 28 September 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-006-7845-7

zbMATH Keywords

synchronyprocess algebracompositional modelingGALS design

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical problems of computer architecture (68M07)

Related Items (1)

Compositional design of isochronous systems

Uses Software

• SIGNAL
• Ptolemy
• Polychrony

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic theory for behavioral modeling and protocol synthesis in system design