Generic trace semantics via coinduction (2007)
by
Ichiro Hasuo
,
Bart Jacobs
,
Ana Sokolova
| Venue: | Logical Methods in Comp. Sci |
| Citations: | 12 - 5 self |
BibTeX
@INPROCEEDINGS{Hasuo07generictrace,
author = {Ichiro Hasuo and Bart Jacobs and Ana Sokolova},
title = {Generic trace semantics via coinduction},
booktitle = {Logical Methods in Comp. Sci},
year = {2007},
pages = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these “trace
