Computer science/Concurrency/Process calculi

Subject Classification

ACM: Theory of computation~Process calculi

AMS: Computer science / Theory of computing / Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

2024

2023

2020

2019

2016

2015

2014

2012