A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
- 9 October 2019
- book chapter
- other
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- ABEL - A Domain Specific Framework for Programming with Attribute-Based CommunicationPublished by Springer Science and Business Media LLC ,2019
- A Formal Approach to the Engineering of Domain-Specific Distributed SystemsPublished by Springer Science and Business Media LLC ,2018
- Verifying Properties of Systems Relying on Attribute-Based CommunicationLecture Notes in Computer Science, 2017
- 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
- A state/event-based model-checking approach for the analysis of abstract system propertiesScience of Computer Programming, 2011
- TAPAs: A Tool for the Analysis of Process AlgebrasLecture Notes in Computer Science, 2008
- Three logics for branching bisimulationJournal of the ACM, 1995
- An action-based framework for veryfying logical and behavioural properties of concurrent systemsComputer Networks and ISDN Systems, 1993
- Action versus state based logics for transition systemsLecture Notes in Computer Science, 1990