A True Concurrency Semantics for ET-LOTOS.

Howard Bowman Joost-Pieter Katoen

Published in: ACSD (1998)

Keyphrases

concurrency control
formal semantics
semantic information
database systems
operational semantics
databases
neural network
web services
software systems
distributed databases
data flow
semantic representation
temporal ordering