The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Hi-index | 0.00 |