论文信息 - Synchronized behaviours of processes and rational relations - 字舞流文

Synchronized behaviours of processes and rational relations

SummarySynchronized behaviours of processes, specified in three different ways, are compared with rational relations.

[1] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[2] Maurice Nivat. Infinitary Relations , 1981, CAAP.

[3] Peter E. Lauer,et al. COSY — a system specification language based on paths and processes , 1979, Acta Informatica.

[4] Edsger W. Dijkstra,et al. Co-operating sequential processes , 1968 .

[5] Maurice Nivat,et al. Controlling Behaviours of Systems: Some Basic Concepts and some Applications , 1980, MFCS.

[6] Maurice Nivat,et al. Transduction des langages de Chomsky , 1968 .

[7] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.

[8] Peter E. Lauer,et al. A Formal Semantics for Concurrent Systems , 1979, ICALP.