scientific article; zbMATH DE number 1759601

zbMATH Open0999.68557MaRDI QIDQ4536592FDOQ4536592

Authors: Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese 

Publication date: 28 November 2002

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

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

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)

Cited In (5)

• Language extensions for programmable security
• Title not available (Why is that?)
• 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)