Generic trace semantics via coinduction

Generic trace semantics via coinduction (2007)

by Ichiro Hasuo , Bart Jacobs , Ana Sokolova

Venue:	Logical Methods in Comp. Sci
Citations:	12 - 5 self

Datum	Value	Source
TITLE	Generic trace semantics via coinduction	INFERENCE
AUTHOR NAME	Ichiro Hasuo	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen, the Netherlands; and Research Institute for Mathematical Sciences, Kyoto University	SVM HeaderParse 0.2
AUTHOR ADDR	Japan	SVM HeaderParse 0.2
AUTHOR NAME	Bart Jacobs	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen, the Netherlands; and Research Institute for Mathematical Sciences, Kyoto University	SVM HeaderParse 0.2
AUTHOR ADDR	Japan	SVM HeaderParse 0.2
AUTHOR NAME	Ana Sokolova	SVM HeaderParse 0.2
AUTHOR AFFIL	Institute for Computing and Information Sciences, Radboud University Nijmegen, the Netherlands; and Research Institute for Mathematical Sciences, Kyoto University	SVM HeaderParse 0.2
AUTHOR ADDR	Japan	SVM HeaderParse 0.2
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	SVM HeaderParse 0.2
YEAR	2007	INFERENCE
VENUE	Logical Methods in Comp. Sci	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	2007	INFERENCE
VOLUME	3	INFERENCE
CITATIONS	60 found	ParsCit 1.0