181 search results - page 37 / 37 » Petri net markup language: implementation and application |
PLDI
2010
ACM
13 years 10 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...