On the Validity of Encodings of the Synchronous in the Asynchronous π-calculus.

Rob van Glabbeek

Published in: CoRR (2018)

Keyphrases

asynchronous communication
artificial intelligence
automated deduction
real time
neural network
information systems
orders of magnitude
planning problems
proof procedure
natural deduction
sequent calculus
asynchronous cellular automata