Operational and abstract semantics of the query language G-Log

DOI10.1016/S0304-3975(01)00295-XzbMath1026.68089OpenAlexW1993964129MaRDI QIDQ1607222

Elisa Quintarelli, Agostino Dovier, Agostino Cortesi, Letizia Tanca

Publication date: 31 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00295-x

zbMATH Keywords

simulationgraphical query languages

Mathematics Subject Classification ID

Database theory (68P15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

An efficient algorithm for computing bisimulation equivalence, Applying model-checking to solve queries on semistructured data

Uses Software

• GraphLog

Cites Work

• CCS expressions, finite state processes, and three problems of equivalence
• A calculus of communicating systems
• Object identity as a query language primitive
• Three Partition Refinement Algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item