Invariants of inversive 2-structures on groups of labels
A. EHRENFEUCHT, T. HARJU
págs. 303-327
Type reconstruction in Fω
págs. 329-358
On the semantics of place/transition Petri nets Research partially supported by ESPRIT Basic Research Action CEDISYS. The first and the third authors have been supported by the US Office of Naval Research Contracts N00014-88-C-0618 and N00014-92-C-0158. The third author also acknowledges funding from EU Human Capital and Mobility grant ERBCHBGCT920005 and from BRICS Basic Research in Computer Science, Centre of the Danish National Research Foundation
UGO MONTANARI , Jose Meseguer, VLADIMIRO SASSONE
págs. 359-397
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: