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.
Bernardeschi, C.
Dustzadeh, J.
Fantechi, A.
Najm, E.
Nimour, A.
and
Olsen, F.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
371.
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.
Najm, E.
and
Nimour, A.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
5.
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.
Duarte, Carlos H. C.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
37.
Ren, Shangping
Venkatasubramanian, Nalini
and
Agha, Gul
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
139.
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.
Gordon, Andrew D.
and
Hankin, Paul D.
1998.
A Concurrent Object Calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 16,
Issue. 3,
p.
248.
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.
Birkedal, Lars
1999.
Bibliography on Realizability.
Electronic Notes in Theoretical Computer Science,
Vol. 23,
Issue. 1,
p.
40.
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.