Visualizing actor programs using predicate transition nets

Journal of Visual Languages and Computing

Volumn 3, Issue 2, 1992, Pages 195-220

  Miriyala, Shakuntala ^a   Agha, Gul ^a   Sami, Yamina ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 38249012549     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/1045-926X(92)90015-E     Document Type: Article

References (29)

1. Multicomputers: message-passing concurrent computers
2. Viewing control structures as patterns of passing messages
3. Foundations of actor semantics
4. A logical theory of concurrent objects
5. Actor grammars
6. Parallel object-based systems and Petri nets
7. Formalization of the behavior of actors by colored petri nets and some applications
8. Actors as a parallel programming model
9. Supporting multiparadigm programming on actor architectures
10. Concurrent object-oriented programming
11. System modelling with high-level Petri nets
12. Parallel systems specifications with coloured Petri nets and algebraic abstract data types
13. Towards a graphic syntax for lotos
14. A declarative approach to visualizing concurrent computations
15. A graph grammar approach to concurrent programming
16. Specifying concurrent systems with Δ grammars
17. Traveler: the actor observatory
18. Temporal hyperprogramming
19. Predicate/transition nets
20. The structure and semantics of actor languages
21. Colored petri nets and the invariant method
22. High-level Petri nets
23. Colored petri nets. A high level language for system design and analysis
24. Virtual time