126 search results - page 26 / 26 » Model checking object petri nets in prolog |
142
Voted
ENTCS
2006
15 years 3 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...