Specifying internet applications with DiCons

J.C.M. Baeten, H.M.A. Beek, van, S. Mauw

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
2 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the 16th ACM Symposium on Applied Computing (SAC2001, Las Vegas NV, USA March 11-14, 2001)
EditorsG. Lamont
Place of PublicationNew York NY, USA
PublisherAssociation for Computing Machinery, Inc
Pages576-584
ISBN (Print)1-58113-287-5
Publication statusPublished - 2001

Cite this