Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings > Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings |
Springer Berlin Heidelberg
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
Authors

Nikola Beneš; Benoît Delahaye; Uli Fahrenberg; Jan Křetínský; Axel Legay

ARI Id

1664725937379_2949200

Access

Not Available Free

Pages

76-90

DOI

10.1007/978-3-642-40184-8_7

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-40184-8_7

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings