Interpreted systems semantics for process algebra with identity annotations

F Dechesne, M Reza Mousavi

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageEnglish
Title of host publicationLogic, language, and computation: 9th International Tbilisi Symposium
EditorsG Bezhanishvili, S Lobner, V Marra, F Richter
Place of PublicationBerlin
PublisherSpringer
Pages182-205
Number of pages24
ISBN (Print)978-3-642-36975-9
DOIs
Publication statusPublished - 2013
Event9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia - Berlin
Duration: 26 Sep 201130 Sep 2011

Publication series

Name
PublisherSpringer Berlin Heidelberg
NameLecture Notes in Computer Science
Volume7758
ISSN (Print)0302-9743

Conference

Conference9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia
Period26/09/1130/09/11

Bibliographical note

Harvest

Cite this