scientific article; zbMATH DE number 1759601

MaRDI QIDQ4536592zbMATH OpenFDO

Authors Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese

Publication date 28 November 2002

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2038704
• Trustworthy Global Computing
• Types for access control
• The Klaim project: Theory and practice
• scientific article; zbMATH DE number 1832235

Cited in

(5)

• Language extensions for programmable security
• scientific article; zbMATH DE number 1863561 (Why is no real title available?)
• On the expressive power of \textsc{Klaim}-based calculi
• KLAIM
• Trustworthy Global Computing

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 Q4536592)