A noninterleaving model of concurrency based on transition systems with spatial structure (2004)

Cached

Download Links

by Luís Monteiro
Venue:CMCS’04
Citations:3 - 0 self