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

Broadcast Psi-calculi

by Palle Raabjerg, Johannes Åman Pohjola and Tjark Weber

Mar 27

2023

Operational Semantics formally proven in HOL-CSP

by Benoît Ballenghien and Burkhart Wolff

Dec 24

HOL-CSPM - Architectural operators for HOL-CSP

by Benoît Ballenghien, Safouan Taha and Burkhart Wolff

Dec 05

2020

The HOL-CSP Refinement Toolkit

by Safouan Taha, Burkhart Wolff and Lina Ye

Nov 19

2019

HOL-CSP Version 2.0

by Safouan Taha, Lina Ye and Burkhart Wolff

Apr 26

2016

Modal Logics for Nominal Transition Systems

by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas

Oct 25

Conservation of CSP Noninterference Security under Concurrent Composition

by Pasquale Noce

Jun 13

Conservation of CSP Noninterference Security under Sequential Composition

by Pasquale Noce

Apr 26

2015

Analysing and Comparing Encodability Criteria for Process Calculi

by Kirstin Peters and Rob van Glabbeek

Aug 10

The Generic Unwinding Theorem for CSP Noninterference Security

by Pasquale Noce

Jun 11

2014

Loop freedom of the (untimed) AODV routing protocol

by Timothy Bourke and Peter Höfner

Oct 23

Mechanization of the Algebra for Wireless Networks (AWN)

by Timothy Bourke

Mar 08

2012

The pi-calculus in nominal logic

by Jesper Bengtson

May 29

Psi-calculi in Isabelle

by Jesper Bengtson

May 29

CCS in nominal logic

by Jesper Bengtson

May 29

Isabelle/Circus

by Abderrahmane Feliachi, Burkhart Wolff and Marie-Claude Gaudel

May 27