From Interaction Overview Diagrams to PEPA Nets

L Kloul, Juliana Bowles

Research output: Contribution to conference (unpublished) › Paper

Original languageEnglish
Publication statusPublished - 1 Jan 2005
EventOnline Proceedings of the 4th Workshop on Process Algebras and Timed Activities (PASTA '05) -
Duration: 1 Jan 2005 → …

Conference

ConferenceOnline Proceedings of the 4th Workshop on Process Algebras and Timed Activities (PASTA '05)
Period1/01/05 → …

Cite this