scientific article; zbMATH DE number 1839448

zbMath0999.68135MaRDI QIDQ4782713

Simone Tini, Andrea Maggiolo-Schettini, Ruggero Lanotte

Publication date: 2 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2138/21380240

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 (2)

\(\varepsilon\)-transitions in concurrent timed automata ⋮ Formal Models of Timing Attacks on Web Privacy

Cites Work

• Unnamed Item
• A theory of timed automata
• A sound polymorphic type system for a dialect of \(C\)

This page was built for publication: