Skip to main navigation Skip to search Skip to main content

Finite equational bases for fragments of CCS with restriction and relabelling

  • L. Aceto
  • , A. Ingólfsdóttir
  • , B. Luttik
  • , P.J.A. Tilburg, van

Research output: Book/ReportReportAcademic

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

Publication series

NameComputer science reports
Volume0808
ISSN (Print)0926-4515

Cite this