Multiparty Evaluation of Finite State Machine.

Dhaneshwar Mardi Jaydeep Howlader

Published in: ISEA-ISAP (2018)

Keyphrases

high level
finite state machines
multi party
privacy preserving
model checking
state machine
regular expressions
human communication
knowledge base
case study
description language