Process Algebra Based Tool Coordination Architectures in Raku and Go.

Published in: CoRR (2024)

Keyphrases

process algebra
model checking
asynchronous circuits
formal specification
concurrent systems
grid workflow
concurrent programs
artificial intelligence
multi agent
regular expressions
formal methods