CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Methodology for Developing Distributed Programs
IEEE Transactions on Software Engineering
petri—a UNIX tool for the analysis of Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Multifaceted distributed systems specification using processes and event synchronization
ICSE '84 Proceedings of the 7th international conference on Software engineering
Vanna: a visual environment for the design of distributed systems
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Visual programming support for graph-oriented parallel-distributed processing: Research Articles
Software—Practice & Experience
Team automata for spatial access control
ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
Hi-index | 0.00 |
We describe our linguistic tool, Raddle, and its use in designing distributed systems. Raddle coordinates concurrent processes with the n-party interaction, a new high-level communication primitive. Another important feature of Raddle is the team, which encapsulates communicating processes. We discuss our efforts towards developing a complete methodology for using Raddle and briefly describe our software toolset.