TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 81 records were found in 0.375 seconds
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings
ISBN: 3-540-23252-43235, 2004
Global Timed Bisimulation: An Introduction
FORTE, 401-416, 1999
Friendly Testing as a Conformance Relation
FORTE, 283-298, 1997
Characterizing termination in LOTOS via testing
PSTV, 237-250, 1995
Testing Semantics for Probabilistic LOTOS
FORTE, 367-382, 1995
A Characterization of LOTOS Representable Networks of Parallel Processes
AMAST, 281-288, 1993
Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems
PNPM, 154-163, 1991
Graphical Composition Theorems for Parallel and Hiding Operators
FORTE, 459-470, 1990
TIC: A Timed Calculus for LOTOS
FORTE, 195-209, 1989