Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics.
J. CondomK. OuriachiPublished in: PDSE (1998)
Keyphrases
- specification language
- operational semantics
- formal semantics
- specification languages
- formal language
- conceptual model
- action language
- high level
- conceptual schema
- semantic information
- logic programming
- concurrency control
- active rules
- database systems
- modelling language
- transaction processing
- active databases
- wordnet
- data flow
- control flow
- speech acts
- formal verification
- natural language
- nested transactions
- definition language
- distributed databases
- fine grained