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