Name-passing style GUI programming in the {}-calculus-based language Nepi

MaRDI QIDQ2851082zbMATH OpenFDO

Authors Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051200

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1759737
• -calculi
• On asynchrony in name-passing calculi
• -calculus semantics of object-oriented programming languages
• Graph rewriting for the π-calculus

This page was built for publication: Name-passing style GUI programming in the {\(\pi\)}-calculus-based language Nepi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851082)