Petri net semantics of the finite pi-calculus terms Journal Articles

authors

• Devillers, R
• Klaudel, H
• Koutny, Maciej

status

• published 

publication date

• April 1, 2006

has subject area

• 0801 Artificial Intelligence and Image Processing (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Fundamenta Informaticae  Journal

keywords

• Computer Science
• Computer Science, Software Engineering
• Mathematics
• Mathematics, Applied
• Physical Sciences
• Science & Technology
• Technology

start page

• 203

end page

• 226

volume

• 70

issue

• 3