Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems : FORMATS 2018
EditorsDavid N. Jansen, Pavithra Prabhakar
Number of pages17
PublisherSpringer
Publication date1 Jan 2018
Pages145-161
ISBN (Print)9783030001506
DOIs
Publication statusPublished - 1 Jan 2018
Event16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018 - Beijing, China
Duration: 4 Sep 20186 Sep 2018

Conference

Conference16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018
CountryChina
CityBeijing
Period04/09/201806/09/2018
SeriesLecture Notes in Computer Science
Volume11022 LNCS
ISSN0302-9743

Fingerprint Dive into the research topics of 'Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations'. Together they form a unique fingerprint.

Cite this