Timed Mobility in process algebra and Petri nets Journal Articles

authors

• Ciobanu, Gabriel
• Koutny, Maciej

status

• published 

publication date

• October 2011

has subject area

• Computation Theory & Mathematics (Science Metrix)

published in

• Journal of Logic Programming  Journal

keywords

• Behavioural equivalence
• High level Petri nets
• Local clocks
• Mobility
• Process algebra
• Syntax driven translation

Digital Object Identifier (DOI)

• 10.1016/j.jlap.2011.05.002

start page

• 377

end page

• 391

volume

• 80

issue

• 7