Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Article title
A compositional Petri net translation of general π-calculus terms
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
20
Issue number
4-5
First page of article
429
ISSN of journal
1433-299X
Year of publication
2008
Number of additional authors
2
Additional information
<10> The work reported in this article was undertaken as part of the EU ICT FP6 award “RODIN: Rigorous Open Development Environment for Complex Systems”. The results provided the first compositional translation of pi-calculus into behaviourally equivalent Petri nets, and the unique insights gained in this work led to the development of tools for model checking of security properties of mobile systems. The article was invited for journal publication as one of the best papers of ICTAC'06.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Concurrent Asynchronous Systems
Citation count
11
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
