Thumbnail
Access Restriction
Open

Author Devillers, R. ♦ Klaudel, H. ♦ Koutny, M. ♦ Pommereau, F.
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Structured Operational Semantics ♦ Composite Net ♦ Parallel Composition ♦ Transition Synchronisation ♦ Process Expression ♦ Main Result ♦ M.k Outny ♦ Non-safe Petri Box ♦ Partial Order Semantics ♦ F.p Ommereau ♦ Algebraic Framework ♦ Non-safe Petri Net ♦ Petri Net
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2002-01-01
Publisher Institution AMAST’02, LNCS 2422