Publication:4782713
From MaRDI portal
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
\(\varepsilon\)-transitions in concurrent timed automata, Formal Models of Timing Attacks on Web Privacy
Cites Work