Some thoughts on behavioral programming: Distinguished Carl Adam petri lecture

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

Volumn 6128 LNCS, Issue , 2010, Pages 18-

  Harel, David ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

GRAPH THEORY;

EID: 77955350825     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13675-7_2     Document Type: Conference Paper

References (5)

1. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45-80 (2001);
2. Ciancarini, P., et al. (eds.): Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293-312. Kluwer, Dordrecht (1999)
3. Harel, D., Marelly, R.: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
4. Harel, D.: Can Programming be Liberated, Period? IEEE Computer 41(1), 28-37 (2008)
5. Harel, D., Marron, A., Weiss, G.: Behavioral Programming (to appear)