Output details
11 - Computer Science and Informatics
University of Southampton
Return to search
Output 0 of 0 in the submission
Article title
Connector algebras for C/E and P/T nets interactions
Type
D - Journal article
Title of journal
Logical Methods in Computer Science
Article number
-
Volume number
n/a
Issue number
-
First page of article
1
ISSN of journal
1860-5974
Year of publication
2013
Number of additional authors
3
Additional information
Significance of output:
<10>An earlier CONCUR`10 paper introduced a compositional variant of C/E nets, and gave a characterisation of their semantics with a novel process algebra based on connectors. This was the first such characterisation result with a process algebra. Another research team extended the applicability of the approach for general Petri nets in a CONCUR`11 paper.
This paper unifies, simplifies and improves the results. This theoretical work has led to novel compositional approaches to model-checking of asynchronous systems currently under development at Southampton.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
