Basic timed process algebra with non-existence ($BPA^{srt}_{\bot}$)

U. Khadim, P.J.L. Cuijpers

Research output: Book/ReportReportAcademic

84 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages281
Publication statusPublished - 2008

Publication series

NameComputer science reports
Volume0809
ISSN (Print)0926-4515

Cite this