Specifying internet applications with DiCons

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Specifying internet applications with DiCons

Full text

Pdf (185 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2001 ACM symposium on Applied computing table of contents

Las Vegas, Nevada, United States

Pages: 576 - 584

Year of Publication: 2001

ISBN:1-58113-287-5

Authors

J. C. M. Baeten	Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
H. M. A. van Beek	Eindhoven Embedded, Systems Institute (EESI), Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
S. Mauw	Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/372202.372466 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	David L. Atkins , Thomas Ball , Glenn Bruns , Kenneth Cox, Mawl: A Domain-Specific Language for Form-Based Services, IEEE Transactions on Software Engineering, v.25 n.3, p.334-346, May 1999 [doi>10.1109/32.798323]
	2	H. v. Beek. Internet protocols for distributed consensus - the dicons language. Master's thesis, Eindhoven University ofTechnology, Aug. 2000.
	3	Krishna Bharat , Marc H. Brown, Building distributed, multi-user applications by direct manipulation, Proceedings of the 7th annual ACM symposium on User interface software and technology, p.71-80, November 02-04, 1994, Marina del Rey, California, United States [doi>10.1145/192426.192454]
	4	K. Bharat and L. Cardelli. Distributed applications in a multimedia setting. In Proceedings of the First International Workshop on Hypermedia Design, pages 185-192, Montpellier, France, 1995.
	5	L. Cardelli. Obliq A language with distributed scope. SRC Research Report 122, Digital Equipment, June 1994.
	6	Luca Cardelli , Rowan Davies, Service Combinators for Web Computing, IEEE Transactions on Software Engineering, v.25 n.3, p.309-316, May 1999 [doi>10.1109/32.798321]
	7	Mauricio Cortés , Prateek Mishra, DCWPL: a programming language for describing collaborative work, Proceedings of the 1996 ACM conference on Computer supported cooperative work, p.21-29, November 16-20, 1996, Boston, Massachusetts, United States [doi>10.1145/240080.240176]
	8	Robert B. Doorenbos , Oren Etzioni , Daniel S. Weld, A scalable comparison-shopping agent for the World-Wide Web, Proceedings of the first international conference on Autonomous agents, p.39-48, February 05-08, 1997, Marina del Rey, California, United States [doi>10.1145/267658.267666]
	9	Virtua - fastvote support, 1997-1999. http://www.virtua.com/fastvote/, Virtua Communications Corporation.
	10	Mary Fernández , Dan Suciu , Igor Tatarinov, Declarative specification of data-intensive Web sites, ACM SIGPLAN Notices, v.35 n.1, p.135-148, Jan. 2000
	11	Jeffrey E. F. Friedl, Mastering regular expressions, O'Reilly & Associates, Inc., Sebastopol, CA, 1997
	12	James Gosling , Bill Joy , Guy Steele , Gilad Bracha, Java Language Specification, Second Edition: The Java Series, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2000
	13	Marty Hall, Core Servlets and JavaServer Pages, Prentice Hall PTR, Upper Saddle River, NJ, 2000
	14	N. Heinle and R. Koman. Designing with JavaScript. O'Reilly & Associates, Inc., May 2000.
	15	Brian Francis , Dino Esposito , Andrea Chiarelli, Professional Active Server Pages 3.0, Wrox Press Ltd., Birmingham, UK, 1999
	16	Jason Hunter , William Crawford, Java servlet programming, O'Reilly & Associates, Inc., Sebastopol, CA, 1998
	17	ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1997.
	18	Thomas Kistler , Hannes Marais, WebL - a programming language for the Web, Computer Networks and ISDN Systems, v.30 n.1-7, p.259-270, April 1, 1998
	19	D. Ladd and J. Ramming. Programming the web: An application-oriented language for hypermedia service programming. In Proc. 4th WWW Conf., WWW Consortium, pages 567-586, 1995.
	20	D. Li and R. Muntz. Building online auctions from the perspective of coca. Submitted to HICSS-33, Jan. 2000.
	21	Du Li , Richard Muntz, COCA: collaborative objects coordination architecture, Proceedings of the 1998 ACM conference on Computer supported cooperative work, p.179-188, November 14-18, 1998, Seattle, Washington, United States [doi>10.1145/289444.289492]
	22	S. Mauw, M. Reniers, and T. Willemse. Message Sequence Charts in the software engineering process. In Handbook of Software Engineering and Knowledge Engineering, S.K. Chang, editor. World Scientific, 2001. To appear.
	23	Metamata home page: Javacc documentation. http://www.metamata.com/JavaCC/docs/, Fremont, California.
	24	L. O'Brien. Vox populi. Java Pro Magazine, June 1999.
	25	D. Raggett, A. L. Hors, and I. Jacobs. Html 4.01 specification. Technical report, W3C User Interface Domain Recommendation, Dec. 1999.
	26	Siteoption home page. http://www.siteoption.com/, SiteOption.com, Green Cove Springs, USA.
	27	Jon Udell , Mark Stone, Practical Internet GroupWare, O'Reilly & Associates, Inc., Sebastopol, CA, 1999
	28	A. Williamson. Special Edition Using Java Servlet API. Que Corporation, Indianapolis, IN, USA, 1997.