Cyber-physical systems and events

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5380 LNCS, Issue , 2008, Pages 101-115

  Talcott, Carolyn ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CYBER PHYSICAL SYSTEM; SEMANTICS;

EVENT-BASED SEMANTICS; FORMAL MODEL; INTERACTIVE AGENTS; POLICY-BASED;

EMBEDDED SYSTEMS;

EID: 58149099358     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89437-7_6     Document Type: Conference Paper

References (42)

1. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press. Cambridge (1986)
2. Agha, G.: Concurrent object-oriented programming. Communications of the ACM 33(9). 125-141 (1990)
3. Allen, S., Constable, R., Eaton, R., Kreitz, C. Lorigo, L.: The Nuprl open logical environment. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 170-176. Springer, Heidelberg (2000)
4. Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 34-55. Springer, Heidelberg (2003)
5. Baker, H.G., Hewitt, C.: Laws for communicating parallel processes. In: IFIP Congress, pp. 987-992 (August 1977)
6. Bickford, M.: Specification and derivation of distributed programs using a logic of events (2007). Invited lecture for Worshop on Event-based Semantics 2007, http://blackforest.stanford.edu/eventsemantics
7. Bickford, M.: Abstract sequential programs and a logic of events (2008). Invited lecture for Worshop on Event-based Semantics (2008). http://blackforest.stanford.edu/eventsemantics
8. Bickford, M., Constable, R.L.: A causal logic of events in formalized computational type theory. Technical Report Technical Report 2005-2010. Cornell University (2005)
9. Clinger, W.D.: Foundations of actor semantics. AI-TR- 633, MIT Artificial Intelligence Laboratory (May 1981)
10. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109-120. ACM Press. New York (2001)
11. de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, p. 148. Springer, Heidelberg (2001)
12. Denker, G., Meseguer, J., Talcott, C.L.: Rewriting semantics of distributed meta objects and composable communication services. In: Third International Workshop on Rewriting Logic and Its Applications (WRLA 2000). Electronic Notes in Theoretical Computer Science, vol. 36, Elsevier, Amsterdam (2000)
13. Denker, G., Talcott, C.L.: Formal checklists for remote agent dependability. In: Fifth International Workshop on Rewriting Logic and Its Applications (WRLA 2004). Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)
14. Denker, G., Talcott, C.L.: A formal framework for goal net analysis. In: Workshop on Verification and Validation of Planning Systems. AAAI Press. Menlo Park (2005)
15. Dvorak, D., Rasmussen, R., Reeves, G., Sacks, A.: Software Architecture Themes In JPL's Mission Data System. In: IEEE Aerospace Conference, USA (2000)
16. Fábrega, F.J.T., Herzog, J.C. Guttman, J.D.: Strand spaces: Proving cryptographic protocols correct. Journal of Computer Security, 191-230 (1999)
17. Goldin, D., Smolka, S., Attie, P., Sonderegger, E.: Turing machines, transition systems, and interaction. Information and Computation Journal 194(2), 101-128 (2004)
18. Greif, I.: Semantics of communicating parallel processes. Technical Report 154. MIT. Project MAC (1975)
19. Guttman, J.: Strand spaces: From key exchange to secure location, Invited lecture for Worshop on Event-based Semantics 2008 (2008). http://blackforest. stanford.edu/eventsemantics
20. Hewitt, C. Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelligence. In: Proceedings of 1973 International Joint Conference on Artificial Intelligence, pp. 235-245 (August 1973)
21. Hore, B., Jafarpour, H., Jain, R., Ji, S., Massaguer, D., Mehrotra, S., Venkatasubramanian, N., Westermann, U.: Design and implementation of a middleware for sentient spaces. In: Proceedings of ISI 2007 (2007)
22. Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: A run-time assurance approach for Java programs. Formal Methods in Systems Design 24(2), 129-155 (2004)
23. Lee, E.A.: Concurrent semantics without the notions of state or state transitions. In: Formal Modeling and Analysis of Timed Systems. LNCS. pp. 18-31. Springer, Heidelberg (2006)
24. Lee, E.A., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems 17(12). 1217-1229 (1998)
25. Lee, E.A.: Concurrent semantics without the notions of state or state transitions. In: Formal Modeling and Analysis of Timed Systems. LNCS, pp. 18-31 (2006)
26. Lee, E.A.: The problem with threads. IEEE Computer 39(5). 33-42 (2006)
27. Liu, X., Matsikoudis, E., Lee, E.A.: Modeling timed concurrent systems. In: CONCUR (2006)
28. Meseguer, J.: Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73-155 (1992)
29. Meseguer, J., Talcott, C.L.: Semantic models for distributed object reflection (invited paper). In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, pp. 1-36. Springer, Heidelberg (2002)
30. Meseguer, J.: A rewriting logic sampler. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol. 3722, pp. 1-28. Springer. Heidelberg (2005)
31. Muscetolla, N., Pandurang, P., Pell, B., Williams, B.: Remote Agent: To Boldly Go Where No AI System Has Gone Before, Artificial Intelligence 103(1-2), 5-18 (1998)
32. Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: ACM TOSEM (submitted, 2006) (invited papers)
33. Talcott, C.L.: Composable semantic models for actor theories. Higher-Order and Symbolic Computation 11(3), 281-343 (1998)
34. Talcott, C.: Coordination models based on a formal model of distributed object reflection. In: 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005) (2005)
35. Talcott, C.: A formal framework for interactive agents. In: Arbab, F., Golden, D. (eds.) Foundations of Interactive Computation (FInCo 2007). Electronic Notes in Theoretical Computer Science, vol. 203, pp. 95-106. Elsevier, Amsterdam (2007)
36. Tidwell, T., Gill, C.: Abstract interpretation of time for preemptive scheduling of cyberphysical systems. Position paper for Worshop on Event-based Semantics 2007 (2007), http://blackforest.stanford.edu/eventsemantics
37. Wegner, P.: Why interaction is more powerful than algorithms. CACM (May 1997)
38. Wegner, P., Goldin, D.: Computation beyond turing machines. CACM (April 2003)
39. Wegner, P., Goldin, D.: The church-turing thesis: Breaking the myth. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 152-168. Springer, Heidelberg (2005)
40. Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. In: WRLA 2006 (submitted. 2006)
41. Woo, H., Mok, A.K., Chen, D.: Realizing the potential of monitoring uncertain event streams in real-time embedded applications. Position paper for Worshop on Event-based Semantics 2007 (2007), http://blackforest.stanford.edu/ eventsementics
42. Woo, H., Mok, A.K., Lee, C.-G.: A generic framework for monitoring timing constraints over uncertain events. In: 27th IEEE International Real-Time Systems Symposium (2006)