Timed Mobility in process algebra and Petri nets Journal Articles

authors

• Ciobanu, Gabriel
• Koutny, Maciej

status

• published 

publication date

• October 2011

has subject area

• 01 Mathematical Sciences (FoR)
• 08 Information and Computing Sciences (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• The Journal of Logic and Algebraic 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