Skip to main navigation Skip to search Skip to main content

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

Research output: Book/Report › Report › Academic

177 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

Access to Document

  • 636100Final published version, 975 KB

    Cite this