Systematic composition of objects in distributed Internet applications: processes and sessions
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 395-404
- https://doi.org/10.1109/hicss.1997.667288
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Predicate transformers for reasoning about concurrent computationScience of Computer Programming, 1995
- Properties of Concurrent ProgramsFormal Aspects of Computing, 1994
- The temporal logic of actionsACM Transactions on Programming Languages and Systems, 1994
- Composing specificationsACM Transactions on Programming Languages and Systems, 1993
- World‐Wide Web: The Information UniverseInternet Research, 1992
- Predicate Calculus and Program SemanticsPublished by Springer Nature ,1990
- Programming languages for distributed computing systemsACM Computing Surveys, 1989
- Implementing remote procedure callsACM Transactions on Computer Systems, 1984
- User Datagram ProtocolPublished by RFC Editor ,1980
- An axiomatic basis for computer programmingCommunications of the ACM, 1969