Abstract Continuation Semantics for Asynchronous Concurrency.

Gabriel Ciobanu Eneia Nicolae Todoran

Published in: SYNASC (2017)

Keyphrases

state machines
formal semantics
logic programming
state machine
concurrency control
data structure
semantic information
data flow
dynamic allocation
asynchronous communication
nested transactions
operational semantics
conceptual graphs
real time
conceptual model
logic programs
low level
neural network