摘要: This paper discusses event-based semantics in the context of emerging concept Cyber Physical Systems and describes two related formal models concerning policy-based coordination Interactive Agents.
springer.com
acm.org 
sci-hub.se 参考文章(43)
Robert L. Constable, Mark Bickford, A Causal Logic of Events in Formalized Computational Type Theory Cornell University. ,(2005)
Stuart F. Allen, Robert L. Constable, Rich Eaton, Christoph Kreitz, Lori Lorigo, The Nuprl Open Logical Environment conference on automated deduction. pp. 170- 176 ,(2000) , 10.1007/10721959_12
Carl Hewitt, Henry Baker, Laws for Communicating Parallel Processes ifip congress. pp. 987- 992 ,(1977)
Alan Bundy, Frank Harmelen, Alan Smaill, Andrew Ireland, Extensions to the rippling-out tactic for guiding inductive proofs conference on automated deduction. pp. 132- 146 ,(1990) , 10.1007/3-540-52885-7_84
José Meseguer, Carolyn Talcott, Semantic Models for Distributed Object Reflection european conference on object oriented programming. pp. 1- 36 ,(2002) , 10.1007/3-540-47993-7_1
Edward A. Lee, Concurrent Semantics Without the Notions of State or State Transitions Lecture Notes in Computer Science. pp. 18- 31 ,(2006) , 10.1007/11867340_2
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee, Modeling Timed Concurrent Systems CONCUR 2006 – Concurrency Theory. pp. 1- 15 ,(2006) , 10.1007/11817949_1
Carolyn L. Talcott, Composable Semantic Models for Actor Theories Higher-Order and Symbolic Computation archive. ,vol. 11, pp. 281- 343 ,(1998) , 10.1023/A:1010042915896
Luca de Alfaro, Thomas A. Henzinger, Interface Theories for Component-Based Design embedded software. pp. 148- 165 ,(2001) , 10.1007/3-540-45449-7_11
Dina Goldin, Peter Wegner, The Church-Turing Thesis: Breaking the Myth New Computational Paradigms. pp. 152- 168 ,(2005) , 10.1007/11494645_20