Traces in PC/DC

Torben Hoffmann, Michael Bruun Petersen, Hans Rischel, Michael Reichhardt Hansen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

The encoding of traces in PC/DC and how to prove properties about traces using PC/DC.

Original language	English
Title of host publication	Proc. of the 10th European Summer School in Logic Language and Information
Place of Publication	Saarbrücken
Publisher	DFKI
Publication date	1998
Publication status	Published - 1998
Event	10th European Summer School in Logic Language and Information - Saarbrücken, Germany Duration: 17 Aug 1998 → 28 Aug 1998 Conference number: 10 http://www.folli.info/?page_id=45 https://www.coli.uni-saarland.de/conf/esslli-98/

Conference	10th European Summer School in Logic Language and Information
Number	10
Country/Territory	Germany
City	Saarbrücken
Period	17/08/1998 → 28/08/1998
Internet address	http://www.folli.info/?page_id=45 https://www.coli.uni-saarland.de/conf/esslli-98/

@inproceedings{739de251f2224653b4fe34a8df3a00d2,

title = "Traces in PC/DC",

abstract = "The encoding of traces in PC/DC and how to prove properties about traces using PC/DC.",

author = "Torben Hoffmann and Petersen, {Michael Bruun} and Hans Rischel and Hansen, {Michael Reichhardt}",

year = "1998",

language = "English",

booktitle = "Proc. of the 10th European Summer School in Logic Language and Information",

publisher = "DFKI",

note = "10th European Summer School in Logic Language and Information, ESSLLI'98 ; Conference date: 17-08-1998 Through 28-08-1998",

url = "http://www.folli.info/?page_id=45, https://www.coli.uni-saarland.de/conf/esslli-98/",

}

TY - GEN

T1 - Traces in PC/DC

AU - Hoffmann, Torben

AU - Petersen, Michael Bruun

AU - Rischel, Hans

AU - Hansen, Michael Reichhardt

N1 - Conference code: 10

PY - 1998

Y1 - 1998

N2 - The encoding of traces in PC/DC and how to prove properties about traces using PC/DC.

AB - The encoding of traces in PC/DC and how to prove properties about traces using PC/DC.

M3 - Article in proceedings

BT - Proc. of the 10th European Summer School in Logic Language and Information

PB - DFKI

CY - Saarbrücken

T2 - 10th European Summer School in Logic Language and Information

Y2 - 17 August 1998 through 28 August 1998

ER -