Coinductive Interpreters for Process Calculi

Coinductive Interpreters for Process Calculi (2002)

by Barbosa And Oliveira , L. S. Barbosa , J. N. Oliveira

Venue:	In Sixth International Symposium on Functional and Logic Programming, volume 2441 of LNCS
Citations:	3 - 1 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Coinductive Interpreters for Process Calculi	SVM HeaderParse 0.1
AUTHOR NAME	Barbosa And Oliveira	user correction - Legacy Corrections
AUTHOR NAME	L. S. Barbosa	user correction - Legacy Corrections
AUTHOR ADDR	Departamento de Informatica, Universidade do Minho, Braga, Portugal	user correction - Legacy Corrections
AUTHOR NAME	J. N. Oliveira	user correction - Legacy Corrections
AUTHOR ADDR	Departamento de Informatica, Universidade do Minho, Braga, Portugal	user correction - Legacy Corrections
ABSTRACT	This paper suggests functional programming languages with coinductive types as suitable devices for prototyping process calculi. The proposed approach is independent of any particular process calculus and makes explicit the dierent ingredients present in the design of any such calculi. In particular structural aspects of the underlying behaviour model become clearly separated from the interaction structure which de nes the synchronisation discipline. The approach is illustrated by the detailed development in Charity of an interpreter for a family of process languages.	user correction - Legacy Corrections
YEAR	2002	INFERENCE
VENUE	In Sixth International Symposium on Functional and Logic Programming, volume 2441 of LNCS	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	183--197	INFERENCE
CITATIONS	18 found	ParsCit 1.0