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.
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.
1997.
A first order logic of effects.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
277.
Duarte, Carlos H. C.
1997.
Formal Methods for Open Object-based Distributed Systems.
p.
37.
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.
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.
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.
Talcott, Carolyn
1998.
Reasoning about Programs With Effects.
Electronic Notes in Theoretical Computer Science,
Vol. 14,
Issue. ,
p.
301.
Dam, Mads
Fredlund, Lars-åke
and
Gurov, Dilian
1998.
Compositionality: The Significant Difference.
Vol. 1536,
Issue. ,
p.
150.
Nielsen, B.
Ren, S.
and
Agha, G.
1998.
Specification of real-time interaction constraints.
p.
206.
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.
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.
Agha, G.A.
and
Ziaei, R.
1999.
Security and fault-tolerance in distributed systems: an actor-based approach.
p.
72.
Discussions
No Discussions have been published for this article.