Verifying Properties of Systems Relying on Attribute-Based Communication
- 27 September 2017
- book chapter
- other
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- AErlang: Empowering Erlang with Attribute-Based CommunicationLecture Notes in Computer Science, 2017
- AErlang at WorkPublished by Springer Science and Business Media LLC ,2017
- Programming of CAS Systems by Relying on Attribute-Based CommunicationPublished by Springer Science and Business Media LLC ,2016
- On the Power of Attribute-Based CommunicationPublished by Springer Science and Business Media LLC ,2016
- From EU Projects to a Family of Model CheckersPublished by Springer Science and Business Media LLC ,2015
- Programming and Verifying Component EnsemblesLecture Notes in Computer Science, 2014
- Analysis of stochastic matching marketsInternational Journal of Game Theory, 2012
- On the expressive power of KLAIM-based calculiTheoretical Computer Science, 2006
- Three logics for branching bisimulationJournal of the ACM, 1995
- College Admissions and the Stability of MarriageThe American Mathematical Monthly, 1962