Detail

Publication date: 01/01/2004

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

Authors

Luís Monteiro,

Journal Electronic Notes in Theoretical Computer Science
Publisher Universitat Politècnica de Catalunya
Volume 106
Journal Electronic Notes in Theoretical Computer Science
Publisher Universitat Politècnica de Catalunya
Volume 106