E-services
Top Cited Papers
- 9 June 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Conversation specificationPublished by Association for Computing Machinery (ACM) ,2003
- XLPublished by Association for Computing Machinery (ACM) ,2002
- Interface automataPublished by Association for Computing Machinery (ACM) ,2001
- Relational Transducers for Electronic CommerceJournal of Computer and System Sciences, 2000
- Deciding Equivalence of Finite Tree AutomataSIAM Journal on Computing, 1990
- Semantic database modeling: survey, applications, and research issuesACM Computing Surveys, 1987
- On Communicating Finite-State MachinesJournal of the ACM, 1983
- Communicating sequential processesCommunications of the ACM, 1978
- Petri NetsACM Computing Surveys, 1977
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969