A Functorial Semantics for Observed Concurrency.

David Murphy Axel Poigné

Published in: MFCS (1992)

Keyphrases

logic programming
formal semantics
database systems
artificial intelligence
knowledge base
xml documents
object oriented
description logics
semantic information
conceptual model
concurrency control
model theoretic
concurrent execution