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 chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationLFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
Number of pages12
PublisherAssociation for Computing Machinery
Publication date2012
ISBN (Print)978-1-4503-1578-4
Publication statusPublished - 2012
SeriesProceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)


Dive into the research topics of 'Trace Matching in a Concurrent Logical Framework'. Together they form a unique fingerprint.

Cite this