Transactions on Petri Nets and Other Models of Concurrency VI
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Jensen, Kurt (Editor), Aalst, Wil M. van der (Editor), Ajmone Marsan, Marco (Editor), Franceschinis, Giuliana (Editor), Kleijn, Jetty (Editor), Kristensen, Lars Michael (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2012.
|
| Series: | Lecture Notes in Computer Science,
7400 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Service-Oriented Computing – ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers /
Published: (2017) -
Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers /
Published: (2009) -
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Published: (2017) -
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Published: (2017) -
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /
Published: (2011)