Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Robert E. Strom

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Shaula Yemini

> Home > Persons > Robert E. Strom

Publications

1992
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/iccl/AuerbachBGGGKLRSSYY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccl/AuerbachBGGGKLRSSYY92
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini:
High-level language support for programming distributed systems. ICCL 1992: 320-330
1991
[b1]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0067191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0067191
Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, Shaula Yemini:
Hermes - a language for distributed computing. Prentice Hall series in innovative technology, Prentice Hall 1991, ISBN 978-0-13-389537-7, pp. I-XVIII, 1-288
[c16]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/cascon/AuerbachBGGKLRSSYY91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cascon/AuerbachBGGKLRSSYY91
Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini:
High-level language support for programming distributed systems. CASCON 1991: 173-196
1988
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/StromBY88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/StromBY88
Robert E. Strom, David F. Bacon, Shaula Yemini:
Volatile logging in n-fault-tolerant distributed systems. FTCS 1988: 44-49
1986
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/StromY86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/StromY86
Robert E. Strom, Shaula Yemini:
Typestate: A Programming Language Concept for Enhancing Software Reliability. IEEE Trans. Software Eng. 12(1): 157-171 (1986)
1985
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/StromY85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/StromY85
Robert E. Strom, Shaula Yemini:
The NIL distributed systems programming language: a status report. ACM SIGPLAN Notices 20(5): 36-44 (1985)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/StromY85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/StromY85
Robert E. Strom, Shaula Yemini:
Optimistic Recovery in Distributed Systems. ACM Trans. Comput. Syst. 3(3): 204-226 (1985)
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icpp/StromY85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/StromY85
Robert E. Strom, Shaula Yemini:
Synthesizing Distributed and Parallel Programs through Optimistic Transformations. ICPP 1985: 632-642
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/StromYW85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/StromYW85
Robert E. Strom, Shaula Yemini, Peter Wegner:
Viewing Ada from a process model perspective. SIGAda 1985: 241-254
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/1984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/1984
Yechiam Yemini, Robert E. Strom, Shaula Yemini:
Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. North-Holland 1985, ISBN 0-444-87676-6 [contents]
1984
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/StromY84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/StromY84
Robert E. Strom, Shaula Yemini:
The NIL Distributed Systems Programming Language: A Status Report. Seminar on Concurrency 1984: 512-522
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/StromY84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/StromY84
Robert E. Strom, Shaula Yemini:
Synthesizing Distributed Protocols from Serial Programs. PSTV 1984: 443-456
1983
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip/StromY83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/StromY83
Robert E. Strom, Shaula Yemini:
Design, Implementation, and Validation of Secure Communications Systems. Protocol Specification, Testing, and Verification 1983: 317-332
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/StromY83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/StromY83
Robert E. Strom, Shaula Yemini:
NIL: An integrated language and system for distributed programming. SIGPLAN 1983: 73-82

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.