FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/b104325zbMath1117.68446OpenAlexW2950473912MaRDI QIDQ5465849

Marco Carbone, Vladimiro Sassone, Mogens Nielsen

Publication date: 12 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b104325

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

A complete fuzzy logical system to deal with trust management systems ⋮ A modal type theory for formalizing trusted communications ⋮ A calculus of trustworthy ad hoc networks ⋮ Petri nets with name creation for transient secure association ⋮ Dynamics of reputation in mobile agents systems and weighted timed automata

This page was built for publication: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science