For the most recent entries see the Petri Nets Newsletter.

Keyword: concurrent objects

Gedela, Ravi K.; Shatz, Sol M.; Xu, Haiping:
Formal modeling of synchronization methods for concurrent objects in Ada 95. 1999.
Meseguer, José:
A Logical Theory of Concurrent Objects. 1990.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography