Using the Topological Characterization of Synchronous Models
2003
Files
Details
Title
Using the Topological Characterization of Synchronous Models
Author(s)
Blanc, S. ; Guerraoui, R. ; Hess, K. ; Kouznetsov, P. ; Parent, P.-E. ; Pochon, B. ; Sauvageot, O.
Published in
Electronic Notes in Theoretical Computer Science
Volume
81
Date
2003
Laboratories
DCL