scientific article; zbMATH DE number 1864595

zbMath1006.68528MaRDI QIDQ4791273

Steve Kremer, Jean-François Raskin

Publication date: 6 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540551.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (5)

Admissible Strategies in Infinite Games over Graphs ⋮ Non-repudiation analysis using \textsc{LySa} with annotations ⋮ Contract signing, optimism, and advantage ⋮ Using the compatibility analysis of logical specifications of automata to solve game problems ⋮ Fairness analysis for multiparty nonrepudiation protocols based on improved strand space

Uses Software

• MOCHA

This page was built for publication: