Operational and abstract semantics of the query language G-Log
type: Item
instance of: scholarly article
title: Operational and abstract semantics of the query language G-Log
zbMATH Open document ID: 1026.68089
DOI: 10.1016/S0304-3975(01)00295-X
author: Agostino Cortesi
author: Agostino Dovier
author: Elisa Quintarelli
author: Letizia Tanca
published in: Theoretical Computer Science
publication date: 2002-07-31T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1774109
zbMATH Keywords: graphical query languages
zbMATH Keywords: simulation
describes a project that uses: GraphLog
MaRDI profile type: Publication
cites work: Object identity as a query language primitive
cites work: Q3992552
cites work: Q4694700
cites work: Q5714250
cites work: Q4198056
cites work: Graph transformation and visual modeling techniques
cites work: CCS expressions, finite state processes, and three problems of equivalence
cites work: A calculus of communicating systems
cites work: Q2767137
cites work: Three Partition Refinement Algorithms
full work available at URL: s0304-3975(01)00295-x
OpenAlex ID: W1993964129
description: scientific article; zbMATH DE number 1774109