Process Algebra to Control Nondeterministic Behavior of Enterprise Smart IoT Systems with Probability.

Junsup Song Moonkun Lee

Published in: PoEM (2019)

Keyphrases

management system
process algebra
enabling technologies
asynchronous circuits
formal methods
concurrent programs
expert systems
concurrent systems
formal languages
model checking
metamodel
artificial intelligence
knowledge based systems
distributed systems
knowledge management
natural language
information systems