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.
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.
Gordon, A. D.
Hankin, P. D.
and
Lassen, S. B.
1997.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 1346,
Issue. ,
p.
74.
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.
Mason, Ian A.
and
Talcott, Carolyn L.
1997.
Automata, Languages and Programming.
Vol. 1256,
Issue. ,
p.
369.
Najm, E.
and
Nimour, A.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
5.
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.
Talcott, Carolyn L.
1997.
Theoretical Aspects of Computer Software.
Vol. 1281,
Issue. ,
p.
321.
Sands, David
1998.
Computing With Contexts A simple approach.
Electronic Notes in Theoretical Computer Science,
Vol. 10,
Issue. ,
p.
134.
Nielsen, B.
Ren, S.
and
Agha, G.
1998.
Specification of real-time interaction constraints.
p.
206.
Dam, Mads
Fredlund, Lars-åke
and
Gurov, Dilian
1998.
Compositionality: The Significant Difference.
Vol. 1536,
Issue. ,
p.
150.
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.
Gaspari, Mauro
1998.
Concurrency and knowledge-level communication in agent languages.
Artificial Intelligence,
Vol. 105,
Issue. 1-2,
p.
1.
Boreale, Michele
De Nicola, Rocco
and
Pugliese, Rosario
1999.
Foundations of Software Science and Computation Structures.
Vol. 1578,
Issue. ,
p.
165.
Gaspari, Mauro
and
Zavattaro, Gianluigi
1999.
ECOOP’ 99 — Object-Oriented Programming.
Vol. 1628,
Issue. ,
p.
495.
Discussions
No Discussions have been published for this article.