-
2
-
-
0028166453
-
Formalizing architectural connection
-
In Proceedings of the 16th Internation Conf. on Software Engineering
-
R. Allen and D. Garlan. Formalizing architectural connection. In Proceedings of the 16th Internation Conf. on Software Engineering, 1994.
-
(1994)
-
-
Allen, R.1
Garlan, D.2
-
3
-
-
84976721385
-
-
W. O'Farrell, I. Kalas, G. Koblents, F. Eigler, and G. Gao. Abc++: Concurrency by inheritance in c++, 1994. Submitted to the IBM Systems Journal
-
E. Arjomandi, W. O'Farrell, I. Kalas, G. Koblents, F. Eigler, and G. Gao. Abc++: Concurrency by inheritance in c++, 1994. Submitted to the IBM Systems Journal.
-
-
-
Arjomandi, E.1
-
4
-
-
60449104558
-
-
Germ´n S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Josyula R. Rao, and James R. Russell. Concert/C: A language for distributed programming. In Winter 1994 USENIX Conference, January
-
Joshua S. Auerbach, Arthur P. Goldberg, Germ´n S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Josyula R. Rao, and James R. Russell. Concert/C: A language for distributed programming. In Winter 1994 USENIX Conference, January 1994.
-
(1994)
-
-
Auerbach, J.S.1
Goldberg, A.P.2
-
5
-
-
0020735797
-
On communicating finite-state machines
-
April
-
D. Brand and P. Zafiropulo. On communicating finite-state machines. Journal of the ACM, 30(2):323-342, April 1983.
-
(1983)
Journal of the ACM
, vol.30
, Issue.2
, pp. 323-342
-
-
Brand, D.1
Zafiropulo, P.2
-
6
-
-
84976749912
-
The Specification of Process Synchronization by Path Expressions, volume 16, pages 89-102
-
Springer Verlag
-
R. H. Campbell and A. N. Habermann. The Specification of Process Synchronization by Path Expressions, volume 16, pages 89-102. Springer Verlag, 1974.
-
(1974)
-
-
Campbell, R.H.1
Habermann, A.N.2
-
7
-
-
0021726736
-
On the progess of communication between two finite-state machines
-
63:200-216
-
M. G. Gouda, E. G. Manning, and Y. T. Yu. On the progess of communication between two finite-state machines. Information and Control, 63:200-216, 1984.
-
(1984)
Information and Control
-
-
Gouda, M.G.1
Manning, E.G.2
Yu, Y.T.3
-
8
-
-
84976805213
-
The global desktop: A graphical composition environment for local and distributed applications
-
editor, Programming Technology Forum. IBM, June
-
T. Huynh, C. Jutla, A. Lowry, R. Strom, and D. Yellin. The global desktop: A graphical composition environment for local and distributed applications. In Ron Pinter, editor, Programming Technology Forum. IBM, June 1994.
-
(1994)
Ron Pinter
-
-
Huynh, T.1
Jutla, C.2
Lowry, A.3
Strom, R.4
Yellin, D.5
-
10
-
-
84976688605
-
Object oriented interoperability
-
editor, VIsual Objects. Universite De Geneve, 1993. Also Appeared in ECOOP 93
-
D. Konstantas. Object oriented interoperability. In D. Tsichritzis, editor, VIsual Objects. Universite De Geneve, 1993. Also Appeared in ECOOP 93.
-
D. Tsichritzis
-
-
Konstantas, D.1
-
12
-
-
85031150363
-
Regular types for active objects
-
1993. Appeared as ACM Sigplan Notices, volume 28, number 10, October
-
Oscar Nierstrasz. Regular types for active objects. In OOPSLA ‘93 Conference Proceedings. ACM, 1993. Appeared as ACM Sigplan Notices, volume 28, number 10, October 1993.
-
(1993)
OOPSLA ‘93 Conference Proceedings. ACM
-
-
Nierstrasz, O.1
-
14
-
-
84939350351
-
A formal protocol conversion method
-
pages 30-37. ACM, August
-
K. Okumura. A formal protocol conversion method. In Proceedings ACM SIGCOMM ‘86 Symposium, pages 30-37. ACM, August 1986.
-
(1986)
Proceedings ACM SIGCOMM ‘86 Symposium
-
-
Okumura, K.1
-
15
-
-
84976717628
-
Gluons: Support for software component cooperation
-
editor, Object Frameworks. Universite De Geneve, 1992. Also Appeared in Springer Verlag LNCS
-
X. Pintado and B. Junod. Gluons: Support for software component cooperation. In D. Tsichritzis, editor, Object Frameworks. Universite De Geneve, 1992. Also Appeared in Springer Verlag LNCS.
-
D. Tsichritzis
-
-
Pintado, X.1
Junod, B.2
-
17
-
-
0024647412
-
A synchronization model for protocol conversion
-
In Proceedings of IEEE Infocom 89. IEEE
-
J. Shu and M. Liu. A synchronization model for protocol conversion. In Proceedings of IEEE Infocom 89. IEEE, 1989.
-
(1989)
-
-
Shu, J.1
Liu, M.2
-
18
-
-
84976676373
-
and Shaula Alexander Yemini
-
January
-
Robert E. Strom, David F. Bacon, Arthur Goldberg, Andy Lowry, Daniel Yellin, and Shaula Alexander Yemini. Hermes: A Language for Distributed Computing. Prentice Hall, January 1991.
-
(1991)
Prentice Hall
-
-
Strom, R.E.1
Bacon, D.F.2
Goldberg, A.3
Lowry, A.4
Yellin, D.5
-
19
-
-
0028015017
-
Automated synthesis of interface adaptors for reuseable classes
-
pages 174-187. ACM, January
-
S. Thatte. Automated synthesis of interface adaptors for reuseable classes. In ACM SIGPLAN-SIGACT POPL ‘94 Conference Proceedings, pages 174-187. ACM, January 1994.
-
(1994)
ACM SIGPLAN-SIGACT POPL ‘94 Conference Proceedings
-
-
Thatte, S.1
-
20
-
-
84976789992
-
-
Componentware. BYTE, 19(5), May
-
J. Udell. Componentware. BYTE, 19(5), May 1994.
-
(1994)
-
-
Udell, J.1
|