论文信息 - Controlling Behaviours of Systems: Some Basic Concepts and some Applications

Controlling Behaviours of Systems: Some Basic Concepts and some Applications

We define observable systems and controls of these systems as a way to restrict their set of behaviours. Some applications to the deadlock problem are given.

Maurice Nivat | André Arnold

[1] André Arnold. Sémantique des Processus Communicants , 1981, RAIRO Theor. Informatics Appl..

[2] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[3] Robert M. Keller,et al. Formal verification of parallel programs , 1976, CACM.