scientific article; zbMATH DE number 1479644

MaRDI QIDQ4490761zbMATH OpenFDO

Authors Kohei Honda, Nobuko Yoshida

Publication date 20 July 2000

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Cited in

(8)

• Graph types for monadic mobile processes
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
• Decoding choice encodings
• Fair \(\pi\)
• Decoding choice encodings
• Type-based security for mobile computing integrity, secrecy and liveness
• Virtually timed ambients: a calculus of nested virtualization
• On reduction-based process semantics

This page was built for publication:

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