scientific article

zbMath0902.68140MaRDI QIDQ3839067

Ugo Montanari, Paolo Baldan, Andrea Corradini

Publication date: 10 December 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

asymmetric event structurescontextual nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). ⋮ A decentralised graphical implementation of mobile ambients ⋮ Efficient unfolding of contextual Petri nets ⋮ Branching cells for asymmetric event structures ⋮ McMillan’s Complete Prefix for Contextual Nets ⋮ Efficient Contextual Unfolding ⋮ Contextual Petri nets, asymmetric event structures, and processes ⋮ Partial order semantics and read arcs

This page was built for publication: