OASIcs.TrustworthySW.2006.766.pdf
- Filesize: 364 kB
- 32 pages
Document
An Introduction to the Tool Ticc
Authors
-
Part of:
Volume:
Workshop on Trustworthy Software (TrustworthySW 2006)
Series: Open Access Series in Informatics (OASIcs) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2006-10-19
File
Document Identifiers
Cite As Get BibTex
Axel Legay, Luca de Alfaro, and Marco Faella. An Introduction to the Tool Ticc. In Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/OASIcs.TrustworthySW.2006.766
Abstract
This paper is a tutorial introduction to the sociable interface model
of [12] and its underlying tool \textsc{Tcc}. The
paper starts with a survey of the theory of interfaces and then
introduces the sociable interface model that is a game-based model
with rich communication primitives to facilitate the modeling of
software and distributed systems. The model and its
main features are then intensivelly discussed and illustrated using
the tool \textsc{Tcc}.
Subject Classification
Keywords
- Open system
- game
- interface automata
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads