An algebraic theory for behavioral modeling and protocol synthesis in system design
From MaRDI portal
Publication:2505638
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
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)
Uses Software
Cites Work
This page was built for publication: An algebraic theory for behavioral modeling and protocol synthesis in system design