Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Talcott, Carolyn L.
1996.
An Actor Rewriting Theory.
Electronic Notes in Theoretical Computer Science,
Vol. 4,
Issue. ,
p.
361.
Nielsen, B.
and
Agha, G.
1996.
Semantics for an actor-based real-time language.
p.
223.
Najm, E.
and
Nimour, A.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
5.
Bernardeschi, C.
Dustzadeh, J.
Fantechi, A.
Najm, E.
Nimour, A.
and
Olsen, F.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
371.
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.
and
Talcott, Carolyn L.
1997.
Automata, Languages and Programming.
Vol. 1256,
Issue. ,
p.
369.
Talcott, Carolyn L.
1997.
Theoretical Aspects of Computer Software.
Vol. 1281,
Issue. ,
p.
321.
Ren, Shangping
and
Agha, Gul A.
1997.
Lectures on Embedded Systems.
Vol. 1494,
Issue. ,
p.
170.
Ren, Shangping
Venkatasubramanian, Nalini
and
Agha, Gul
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
139.
Duarte, Carlos H. C.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
37.
Mason, Ian A.
1997.
A first order logic of effects.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
277.
Schacht, Susanne
and
Hahn, Udo
1997.
Progress in Artificial Intelligence.
Vol. 1323,
Issue. ,
p.
279.
Nielsen, B.
Ren, S.
and
Agha, G.
1998.
Specification of real-time interaction constraints.
p.
206.
Gaspari, Mauro
1998.
Concurrency and knowledge-level communication in agent languages.
Artificial Intelligence,
Vol. 105,
Issue. 1-2,
p.
1.
Sands, David
1998.
Computing With Contexts A simple approach.
Electronic Notes in Theoretical Computer Science,
Vol. 10,
Issue. ,
p.
134.
Dam, Mads
Fredlund, Lars-åke
and
Gurov, Dilian
1998.
Compositionality: The Significant Difference.
Vol. 1536,
Issue. ,
p.
150.
Talcott, Carolyn L.
1998.
Composable Semantic Models for Actor Theories.
Higher-Order and Symbolic Computation,
Vol. 11,
Issue. 3,
p.
281.
Gordon, Andrew D.
and
Hankin, Paul D.
1998.
A Concurrent Object Calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 16,
Issue. 3,
p.
248.
Talcott, Carolyn
1998.
Reasoning about Programs With Effects.
Electronic Notes in Theoretical Computer Science,
Vol. 14,
Issue. ,
p.
301.
Birkedal, Lars
1999.
Bibliography on Realizability.
Electronic Notes in Theoretical Computer Science,
Vol. 23,
Issue. 1,
p.
40.
Discussions
No Discussions have been published for this article.