Asynchronous box calculus Journal Articles

authors

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

status

• published 

publication date

• March 1, 2003

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

• CCS
• CONCURRENT
• Computer Science
• Computer Science, Software Engineering
• MODELS
• Mathematics
• Mathematics, Applied
• NETS
• Petri nets
• Physical Sciences
• SEMANTICS
• Science & Technology
• Technology
• process algebra
• structured operational semantics
• synchronous and asynchronous communication

start page

• 295

end page

• 344

volume

• 54

issue

• 4