Specifying internet applications with DiCons

J. C. M. Baeten, Harm van Beek, Sjouke Mauw · 2001

Article Share on Specifying internet applications with DiCons Authors: J. C. M. Baeten Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The NetherlandsView Profile , H. M. A. van Beek Eindhoven Embedded, Systems Institute (EESI), Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Eindhoven Embedded, Systems Institute (EESI), Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The NetherlandsView Profile , S. Mauw Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The NetherlandsView Profile Authors Info & Claims SAC '01: Proceedings of the 2001 ACM symposium on Applied computingMarch 2001 Pages 576–584https://doi.org/10.1145/372202.372466Online:01 March 2001Publication History 8citation220DownloadsMetricsTotal Citations8Total Downloads220Last 12 Months2Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

Read the paper · More papers on PaperTik