An algebraic and algorithmic method for analysing transition systems
Theoretical Computer Science
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Construction and analysis of transition systems with MEC
Construction and analysis of transition systems with MEC
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
The AltaRica formalism for describing concurrent systems
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Communicating sequential processes
Communications of the ACM
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Model-checking Distributed Components: The Vercors Platform
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising implicit contracts
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 5.23 |
This short paper retraces how the notion of synchronization of processes introduced by Maurice Nivat in 1979 has evolved over more than 20 years.