Specifying Internet applications with DiCons

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

Research output: Book/ReportReportAcademic

121 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages9
Publication statusPublished - 2000

Publication series

NameComputing science reports
Volume0019
ISSN (Print)0926-4515

Cite this