Output details
11 - Computer Science and Informatics
Newcastle University
Output title
A Timed Mobility Semantics Based on Rewriting Strategies
Type
E - Conference contribution
Name of conference/published proceedings
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012
Volume number
7504
Issue number
-
First page of article
141
ISSN of proceedings
0302-9743
Year of publication
2012
Number of additional authors
2
Additional information
<10> Arose out of a research visit by G. Ciobanu (Iasi, Romania) sponsored by Newcastle University. It has led to ongoing collaborative work and to a further research paper. Crucially it provides the first direct link to practical tool support for a newly developed, mobility process algebra and thus the basis for performing ongoing case study work. Importantly, the work provides the flexibility to allow new semantic choices to be investigated, opening up a new strand of research. The paper has been selected by the SEFM organisers for inclusion in a special journal issue.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Concurrent Asynchronous Systems
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
