scientific article; zbMATH DE number 7340568

zbMath1459.68135arXiv1211.4099MaRDI QIDQ4986741

Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1211.4099

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Combining behavioural types with security analysis ⋮ Unnamed Item ⋮ Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination ⋮ Session Types with Arithmetic Refinements

This page was built for publication: