598 search results - page 1 / 120 » Generic Trace Theory |
ENTCS
2006
13 years 4 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
ESOP
2007
Springer
13 years 11 months ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
AIFIPP
1992
13 years 6 months ago
1992
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
ISOTAS
1993
13 years 9 months ago
1993
