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.
p.
347.
Arbab, Farhad
2003.
Formal Methods for Components and Objects.
Vol. 2852,
Issue. ,
p.
33.
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, 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.
Arbab, F.
Baier, C.
de Boer, F.
and
Rutten, J.
2004.
Models and temporal logics for timed component connectors.
p.
198.
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.
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.
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.
Schneider, Steve
Treharne, Helen
and
Evans, Neil
2005.
Integrated Formal Methods.
Vol. 3771,
Issue. ,
p.
89.
Liu, Zhiming
Jifeng, He
and
Li, Xiaoshan
2005.
Formal Methods for Components and Objects.
Vol. 3657,
Issue. ,
p.
183.
Diakov, N.
Zlatev, Z.
and
Pokraev, S.
2005.
Composition of Negotiation Protocols for E-Commerce Applications.
p.
418.
Arbab, Farhad
Baier, Christel
de Boer, Frank
Rutten, Jan
and
Sirjani, Marjan
2005.
Coordination Models and Languages.
Vol. 3454,
Issue. ,
p.
236.
Barbosa, Marco Antonio
and
Barbosa, Luís Soares
2005.
Theoretical Aspects of Computing - ICTAC 2004.
Vol. 3407,
Issue. ,
p.
52.
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.
Dastani, Mehdi
Arbab, Farhad
and
de Boer, Frank
2005.
Coordination and composition in multi-agent systems.
p.
439.
Jifeng, He
Li, Xiaoshan
and
Liu, Zhiming
2005.
Theoretical Aspects of Computing – ICTAC 2005.
Vol. 3722,
Issue. ,
p.
70.
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.
Guillen-Scholten, Juan
Arbab, Farhad
de Boer, Frank
and
Bonsangue, Marcello
2005.
MoCha-pi, an exogenous coordination calculus based on mobile channels.
p.
436.
Clarke, Dave
2006.
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 159,
Issue. ,
p.
61.