2009
Integrated structure and semantics for Reo connectors and Petri nets
Publication
Publication
Presented at the
Interaction and Concurrency Experience Workshop
Additional Metadata | |
---|---|
doi.org/10.4204/EPTCS.12.4 | |
Electronic Proceedings in Theoretical Computer Science | |
Interaction and Concurrency Experience Workshop | |
Organisation | Computer Security |
Krause (born Köhler), C. (2009). Integrated structure and semantics for Reo connectors and Petri nets. In Proceedings of Interaction and Concurrency Experience Workshop 2009 (2) (pp. 1–59). doi:10.4204/EPTCS.12.4 |