scientific article; zbMATH DE number 1759616

zbMATH Open0999.68142MaRDI QIDQ4536607FDOQ4536607

Authors: Roberto Bruni, David de Frutos Escrig, Narciso Martí-Oliet, Ugo Montanari 

Publication date: 25 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Bisimilarity in term graph rewriting.
• A characterisation of open bisimilarity using an intuitionistic modal logic
• A characterisation of open bisimilarity using an intuitionistic modal logic
• scientific article; zbMATH DE number 1231589
• scientific article; zbMATH DE number 1231603
• scientific article; zbMATH DE number 2087495
• Bisimulation and coverings for graphs and hypergraphs
• Bisimilarity for paraconsistent description logics
• The Bisimulation Problem for Equational Graphs of Finite Out-Degree
• On bisimulations for description logics

Mathematics Subject Classification ID

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

Cited In (13)

• Dynamic connectors for concurrency
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Comparing higher-order encodings in logical frameworks and tile logic
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• Bisimilarity of open terms.
• Observational congruences for dynamically reconfigurable tile systems
• Notions of bisimulation and congruence formats for SOS with data
• Title not available (Why is that?)
• Comparing cospan-spans and tiles via a Hoare-style process calculus
• SMT-based generation of symbolic automata
• Title not available (Why is that?)
• Rewriting logic: Roadmap and bibliography
• Bisimilarity of open terms in stream GSOS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536607)