Trace Matching in a Concurrent Logical Framework

Iliano Cervesato; Frank Pfenning; Jorge Sacchini; Carsten Schürmann; Robert Simmons

Trace Matching in a Concurrent Logical Framework

Iliano Cervesato, Frank Pfenning, Jorge Sacchini, Carsten Schürmann, Robert Simmons

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
Number of pages	12
Publisher	Association for Computing Machinery
Publication date	2012
Pages	1
ISBN (Print)	978-1-4503-1578-4
Publication status	Published - 2012

Series	Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)

Cite this

Cervesato, Iliano ; Pfenning, Frank ; Sacchini, Jorge et al. / Trace Matching in a Concurrent Logical Framework. LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, 2012. pp. 1 (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

@inproceedings{22afc3c1268149dfa0e206d7230b8a4e,

title = "Trace Matching in a Concurrent Logical Framework",

author = "Iliano Cervesato and Frank Pfenning and Jorge Sacchini and Carsten Sch{\"u}rmann and Robert Simmons",

year = "2012",

language = "English",

isbn = "978-1-4503-1578-4 ",

series = "Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)",

pages = "1",

booktitle = "LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice",

publisher = "Association for Computing Machinery",

address = "United States",

}

Cervesato, I, Pfenning, F, Sacchini, J, Schürmann, C & Simmons, R 2012, Trace Matching in a Concurrent Logical Framework. in LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12), pp. 1.

Trace Matching in a Concurrent Logical Framework. / Cervesato, Iliano; Pfenning, Frank; Sacchini, Jorge et al.
LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, 2012. p. 1 (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

TY - GEN

T1 - Trace Matching in a Concurrent Logical Framework

AU - Cervesato, Iliano

AU - Pfenning, Frank

AU - Sacchini, Jorge

AU - Schürmann, Carsten

AU - Simmons, Robert

PY - 2012

Y1 - 2012

M3 - Article in proceedings

SN - 978-1-4503-1578-4

T3 - Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)

SP - 1

BT - LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice

PB - Association for Computing Machinery

ER -

Cervesato I, Pfenning F, Sacchini J, Schürmann C, Simmons R. Trace Matching in a Concurrent Logical Framework. In LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery. 2012. p. 1. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

Trace Matching in a Concurrent Logical Framework

Fingerprint

Cite this