Bisimulations on Data Graphs

DOI10.1613/jair.5637zbMath1426.68179OpenAlexW2578213352MaRDI QIDQ4605201

Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira

Publication date: 7 March 2018

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.5637

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Compositional equivalences based on open pNets ⋮ Unnamed Item

This page was built for publication: Bisimulations on Data Graphs