2005
DOI: 10.1007/11559306_5
|View full text |Cite
|
Sign up to set email alerts
|

Sociable Interfaces

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
31
0

Year Published

2006
2006
2019
2019

Publication Types

Select...
7
1

Relationship

3
5

Authors

Journals

citations
Cited by 33 publications
(31 citation statements)
references
References 4 publications
0
31
0
Order By: Relevance
“…Like in the work of de Alfaro et al [8] we define specifications with respect to an assertion language allowing suitable predicate representation. Given a set V of variables, we denote by Pred (V ) the set of first-order predicates with free variables in V ; we assume that these predicates are written in some specified first-order language with existential (∃) and universal (∀) quantifiers and with interpreted function symbols and predicates; in our examples, the language contains the usual arithmetic operators and boolean connectives (∨, ∧, ¬, ⇒).…”
Section: Modal Specifications With Datamentioning
confidence: 99%
See 1 more Smart Citation
“…Like in the work of de Alfaro et al [8] we define specifications with respect to an assertion language allowing suitable predicate representation. Given a set V of variables, we denote by Pred (V ) the set of first-order predicates with free variables in V ; we assume that these predicates are written in some specified first-order language with existential (∃) and universal (∀) quantifiers and with interpreted function symbols and predicates; in our examples, the language contains the usual arithmetic operators and boolean connectives (∨, ∧, ¬, ⇒).…”
Section: Modal Specifications With Datamentioning
confidence: 99%
“…A comparison between modal specifications and other theories such as interface automata [20] and process algebra [2] can be found in [3]. In [8], the authors introduced sociable interfaces, that is a model of I/O automata [21] equipped with a data and a game-based semantics. While their communication primitives are richer, sociable interfaces do not encompass any notion of logical composition and quotient, and their refinement is based on an alternating simulation.…”
Section: Related Workmentioning
confidence: 99%
“…De Alfaro et al [10] have extended Interface Automata to support one-to-many and many-to-one communications. The resulting formalism is called Sociable Interfaces.…”
Section: Related Workmentioning
confidence: 99%
“…This enables the encoding of rich communication schemes, including exclusive, and many-to-many schemes, and differentiates the modules of Ticc from other modules with more restrictive communication primitives, such as I/O Automata [10] and Reactive Modules [3]. The theory behind Ticc has been presented in [5]; here, we describe the tool itself.…”
Section: Overviewmentioning
confidence: 99%