Trace Matching in a Concurrent Logical Framework
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Trace Matching in a Concurrent Logical Framework
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) |
---|
ID: 74547146