Model checking linear logic specifications
Theory and Practice of Logic Programming
Relating State-Based and Process-Based Concurrency through Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Relating state-based and process-based concurrency through linear logic (full-version)
Information and Computation
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Hi-index | 0.00 |