Value-Passing CCS for Trees: A Theory for Concurrent Systems.

Shichao Liu Ying Jiang

Published in: TASE (2016)

Keyphrases

concurrent systems
process algebra
theoretical framework
temporal logic
distributed systems
general theory
computational model
data sets
decision trees
information theory
formal theory
transition systems
object oriented
petri net
theoretical foundation