From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.

Francisco Bueno Manuel V. Hermenegildo Ugo Montanari Francesca Rossi

Published in: ALP (1994)

Keyphrases

formal semantics
neural network
computer programs
databases
genetic algorithm
knowledge base
knowledge representation
operational semantics
mutual exclusion