Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Nielsen, B.
and
Agha, G.
1996.
Semantics for an actor-based real-time language.
p.
223.
Talcott, Carolyn L.
1996.
An Actor Rewriting Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 4,
Issue. ,
p.
361.
Mason, Ian A.
and
Talcott, Carolyn L.
1997.
Automata, Languages and Programming.
Vol. 1256,
Issue. ,
p.
369.
Gordon, A. D.
Hankin, P. D.
and
Lassen, S. B.
1997.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 1346,
Issue. ,
p.
74.
Mason, Ian A.
1997.
A first order logic of effects.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
277.
Talcott, Carolyn L.
1997.
Theoretical Aspects of Computer Software.
Vol. 1281,
Issue. ,
p.
321.
Ren, Shangping
Venkatasubramanian, Nalini
and
Agha, Gul
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
139.
Ren, Shangping
and
Agha, Gul A.
1997.
Lectures on Embedded Systems.
Vol. 1494,
Issue. ,
p.
170.
Bernardeschi, C.
Dustzadeh, J.
Fantechi, A.
Najm, E.
Nimour, A.
and
Olsen, F.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
371.
Schacht, Susanne
and
Hahn, Udo
1997.
Progress in Artificial Intelligence.
Vol. 1323,
Issue. ,
p.
279.
Duarte, Carlos H. C.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
37.
Najm, E.
and
Nimour, A.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
5.
Nielsen, B.
Ren, S.
and
Agha, G.
1998.
Specification of real-time interaction constraints.
p.
206.
Gordon, Andrew D.
and
Hankin, Paul D.
1998.
A Concurrent Object Calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 16,
Issue. 3,
p.
248.
Gaspari, Mauro
1998.
Concurrency and knowledge-level communication in agent languages.
Artificial Intelligence,
Vol. 105,
Issue. 1-2,
p.
1.
Dam, Mads
Fredlund, Lars-åke
and
Gurov, Dilian
1998.
Compositionality: The Significant Difference.
Vol. 1536,
Issue. ,
p.
150.
Talcott, Carolyn
1998.
Reasoning about Programs With Effects.
Electronic Notes in Theoretical Computer Science,
Vol. 14,
Issue. ,
p.
301.
Sands, David
1998.
Computing With Contexts A simple approach.
Electronic Notes in Theoretical Computer Science,
Vol. 10,
Issue. ,
p.
134.
Gaspari, Mauro
and
Zavattaro, Gianluigi
1999.
ECOOP’ 99 — Object-Oriented Programming.
Vol. 1628,
Issue. ,
p.
495.
Boreale, Michele
De Nicola, Rocco
and
Pugliese, Rosario
1999.
Foundations of Software Science and Computation Structures.
Vol. 1578,
Issue. ,
p.
165.
Discussions
No Discussions have been published for this article.