Original language | English |
---|---|
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 322 |
State | Published - 27 Aug 2020 |
Event | Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020 - Virtual, Online, Austria Duration: 31 Aug 2020 → … |