Bisimulation for Labelled Markov Processes

Bisimulation for Labelled Markov Processes (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Jos Ee Desharnais , Josee Desharnais , Richard Blute , Richard Blute , Abbas Edalat , Abbas Edalat , Prakash Panagaden , Prakash Panangaden

Venue:	Information and Computation
Citations:	120 - 17 self

Versions

Version History

Metadata Version 2

Datum	Value	Source
TITLE	Bisimulation for Labelled Markov Processes	INFERENCE
AUTHOR NAME	Richard Blute	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Mathematics; University of Ottawa; Ottawa, Ontario	SVM HeaderParse 0.2
AUTHOR ADDR	Canada	SVM HeaderParse 0.2
AUTHOR NAME	Jos Ee Desharnais	SVM HeaderParse 0.1
AUTHOR NAME	Abbas Edalat	SVM HeaderParse 0.1
AUTHOR AFFIL	; y; Department of Computing; Imperial College; School of Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	; London, UK; Montreal, Quebec, Canada	SVM HeaderParse 0.2
AUTHOR NAME	Prakash Panangaden	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Aarhus	SVM HeaderParse 0.2
AUTHOR ADDR	Ny Munkegade, building 540; DK--8000 Aarhus C; Denmark	SVM HeaderParse 0.1
AUTHOR NAME	Richard Blute	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Mathematics; University of Ottawa; Ottawa, Ontario	SVM HeaderParse 0.2
AUTHOR ADDR	Canada	SVM HeaderParse 0.1
AUTHOR NAME	Abbas Edalat	SVM HeaderParse 0.1
AUTHOR AFFIL	; y; Department of Computing; Imperial College; School of Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	; London, UK; Montreal, Quebec, Canada	SVM HeaderParse 0.1
AUTHOR NAME	Prakash Panangaden	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; University of Aarhus	SVM HeaderParse 0.2
AUTHOR ADDR	Ny Munkegade, building 540; DK--8000 Aarhus C; Denmark	SVM HeaderParse 0.2
ABSTRACT	is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS	SVM HeaderParse 0.1
YEAR	1997	INFERENCE
VENUE	Information and Computation	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	95--106	INFERENCE
VOLUME	179	INFERENCE
CITATIONS	6 found	ParsCit 1.0