scientific article; zbMATH DE number 1479644

zbMATH Open0942.03510MaRDI QIDQ4490761FDOQ4490761

Nobuko Yoshida, Kohei Honda

Publication date: 20 July 2000

Title of this publication is not available (Why is that?)

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
• Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
• Fair \(\pi\)
• Decoding choice encodings
• 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)