论文信息 - 23 – Formal treatment of concurrency and time - 字舞流文

23 – Formal treatment of concurrency and time

Manfred Broy | M. Broy

[1] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[2] Manfred Broy,et al. Semantics of Communicating Processes , 1984, Inf. Control..

[3] Edmund M. Clarke,et al. Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..

[4] G. Winskel. Event Structure Semantics for CCS and Related Languages , 1982, ICALP.

[5] Józef Winkowski,et al. Behaviours of Concurrent Systems , 1980, Theor. Comput. Sci..

[6] Matthew Hennessy,et al. A Term Model for CCS , 1980, MFCS.

[7] Glynn Winskel,et al. Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[8] Jean-Pierre Verjus,et al. Toward Autonomous Descriptions of Synchronization Modules , 1977, IFIP Congress.