Analysing timed Rebeca using McErlang.

Haukur Kristinsson Ali Jafari Ehsan Khamespanah Brynjar Magnusson Marjan Sirjani

Published in: AGERE!@SPLASH (2013)

Keyphrases

petri net
timed automata
discrete event
data management
dynamic systems
simulation model
pattern matching
markov chain
database
expert systems
object oriented
state space
query processing
database systems
finite state machines
web services
knowledge base