Abstract Specifications for Concurrent Maps.

Shale Xiong Pedro da Rocha Pinto Gian Ntzik Philippa Gardner

Published in: ESOP (2017)

Keyphrases

state machines
high level
higher level
delay insensitive
formal specification
low level
concurrent systems
petri net
database
information systems
artificial neural networks
multiscale
decision trees
functional requirements
mutual exclusion
genetic algorithm
data mining