ITU

Trace Matching in a Concurrent Logical Framework

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

Trace Matching in a Concurrent Logical Framework
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
Pages1
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)

ID: 74547146