scientific article; zbMATH DE number 1479644

MaRDI QIDQ4490761zbMATH OpenFDO

Authors Kohei Honda, Nobuko Yoshida

Publication date 20 July 2000

Mathematics Subject Classification ID

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

Cited in

(8)

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

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)