Title: Advances in Petri Nets 1985, Author: Grzegorz Rozenberg
Title: Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings, Author: Luca de Alfaro
Title: Lectures on Concurrency and Petri Nets: Advances in Petri Nets, Author: Jïrg Desel
Title: Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers, Author: Darrell Raymond
Title: Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings, Author: Holger Hermanns
Title: Implementation and Application of Automata: 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, Author: Jacques Farré

Pagination Links