### Skapa referens, olika format (klipp och klistra)

**Harvard**

Harcourt, E., Paczkowski, P. och Prasad, K. (1995) *A Framework for Representing Parameterised Processes*. Göteborg : Chalmers University of Technology

** BibTeX **

@techreport{

Harcourt1995,

author={Harcourt, Ed and Paczkowski, Pawel and Prasad, K. V. S.},

title={A Framework for Representing Parameterised Processes},

abstract={We describe a faithful representation of value-passing recursive parametric CCS processes in Alf, an implementation of Martin-Lof's constructive type theory. The representation is interesting because we borrow as much as possible from Alf including the domain of value and state expressions and the ability to evaluate them. Usually substitution of either channel values for channel variables and processes for process variables play a necessary role in the semantics. However, substitution is also borrowed from Alf by using higher-order functions. The main importance of this representation is that it allows us to borrow Alf's off-the-shelf theorems about data types and provides a uniform setting for doing various kinds machine assisted proofs, such as bisimulation proofs, equational reasoning, verification of Hennessy-Milner logic formulas. 1 Introduction Machine checked proofs of CCS processes require finite representations of the processes. However, for infinite value and state domains,...
},

publisher={Chalmers University of Technology},

place={Göteborg},

year={1995},

}

** RefWorks **

RT Report

SR Print

ID 193435

A1 Harcourt, Ed

A1 Paczkowski, Pawel

A1 Prasad, K. V. S.

T1 A Framework for Representing Parameterised Processes

YR 1995

AB We describe a faithful representation of value-passing recursive parametric CCS processes in Alf, an implementation of Martin-Lof's constructive type theory. The representation is interesting because we borrow as much as possible from Alf including the domain of value and state expressions and the ability to evaluate them. Usually substitution of either channel values for channel variables and processes for process variables play a necessary role in the semantics. However, substitution is also borrowed from Alf by using higher-order functions. The main importance of this representation is that it allows us to borrow Alf's off-the-shelf theorems about data types and provides a uniform setting for doing various kinds machine assisted proofs, such as bisimulation proofs, equational reasoning, verification of Hennessy-Milner logic formulas. 1 Introduction Machine checked proofs of CCS processes require finite representations of the processes. However, for infinite value and state domains,...

PB Chalmers University of Technology

LA eng

OL 30