scientific article; zbMATH DE number 7441259

zbMath1477.68181MaRDI QIDQ5014801

Hans Hüttel

Publication date: 8 December 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2017.5

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• SLMC

Cites Work

• Unnamed Item
• On the expressiveness and decidability of higher-order process calculi
• Model checking mobile processes
• Subtyping for session types in the pi calculus
• A Theory of Name Boundedness
• Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
• Foundations of Software Science and Computation Structures