Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Mehta, Nikunj R.
and
Medvidovic, Nenad
2003.
Composing architectural styles from architectural primitives.
ACM SIGSOFT Software Engineering Notes,
Vol. 28,
Issue. 5,
p.
347.
Mehta, Nikunj R.
and
Medvidovic, Nenad
2003.
Composing architectural styles from architectural primitives.
p.
347.
Arbab, Farhad
2003.
Formal Methods for Components and Objects.
Vol. 2852,
Issue. ,
p.
33.
Mehta, N.R.
Medvidovic, N.
Sirjani, M.
and
Arbab, F.
2004.
Modeling behavior in compositions of software architectural primitives.
p.
371.
Goldin, D.
and
Keil, D.
2004.
Toward domain-independent formalization of indirect interaction.
p.
393.
Zlatev, Zlatko
Diakov, Nikolay
and
Pokraev, Stanislav
2004.
Construction of negotiation protocols for e-commerce applications.
ACM SIGecom Exchanges,
Vol. 5,
Issue. 2,
p.
12.
Arbab, F.
Baier, C.
de Boer, F.
and
Rutten, J.
2004.
Models and temporal logics for timed component connectors.
p.
198.
Rutten, J.J.M.M.
2005.
A tutorial on coinductive stream calculus and signal flow graphs.
Theoretical Computer Science,
Vol. 343,
Issue. 3,
p.
443.
Liu, Zhiming
Jifeng, He
and
Li, Xiaoshan
2005.
Formal Methods for Components and Objects.
Vol. 3657,
Issue. ,
p.
183.
Schneider, Steve
Treharne, Helen
and
Evans, Neil
2005.
Integrated Formal Methods.
Vol. 3771,
Issue. ,
p.
89.
Diakov, N.
Zlatev, Z.
and
Pokraev, S.
2005.
Composition of Negotiation Protocols for E-Commerce Applications.
p.
418.
Dastani, Mehdi
Arbab, Farhad
and
de Boer, Frank
2005.
Coordination and composition in multi-agent systems.
p.
439.
Boella, Guido
Hulstijn, Joris
and
van der Torre, Leendert
2005.
Interaction in Normative Multi-Agent Systems.
Electronic Notes in Theoretical Computer Science,
Vol. 141,
Issue. 5,
p.
135.
Arbab, Farhad
Baier, Christel
de Boer, Frank
Rutten, Jan
and
Sirjani, Marjan
2005.
Coordination Models and Languages.
Vol. 3454,
Issue. ,
p.
236.
Jifeng, He
Li, Xiaoshan
and
Liu, Zhiming
2005.
Theoretical Aspects of Computing – ICTAC 2005.
Vol. 3722,
Issue. ,
p.
70.
Barbosa, Marco Antonio
and
Barbosa, Luís Soares
2005.
Theoretical Aspects of Computing - ICTAC 2004.
Vol. 3407,
Issue. ,
p.
52.
Arbab, Farhad
2005.
Abstract Behavior Types: a foundation model for components and their composition.
Science of Computer Programming,
Vol. 55,
Issue. 1-3,
p.
3.
Wegner, Peter
Arbab, Farhad
Goldin, Dina
McBurney, Peter
Luck, Michael
and
Robertson, Dave
2005.
The Role of Agent Interaction in Models of Computing: Panelist Reviews.
Electronic Notes in Theoretical Computer Science,
Vol. 141,
Issue. 5,
p.
181.
Guillen-Scholten, Juan
Arbab, Farhad
de Boer, Frank
and
Bonsangue, Marcello
2005.
MoCha-pi, an exogenous coordination calculus based on mobile channels.
p.
436.
Boella, Guido
and
van der Torre, Leendert
2006.
An architecture of a normative system.
p.
229.