119
click to vote
ICSE
1995
IEEE-ACM
15 years 6 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...