Interpreted systems semantics for process algebra with identity annotations

F Dechesne; M Reza Mousavi

doi:10.1007/978-3-642-36976-6_13

Interpreted systems semantics for process algebra with identity annotations

F Dechesne, M Reza Mousavi

Energy and Industry

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Logic, language, and computation: 9th International Tbilisi Symposium
Editors	G Bezhanishvili, S Lobner, V Marra, F Richter
Place of Publication	Berlin
Publisher	Springer
Pages	182-205
Number of pages	24
ISBN (Print)	978-3-642-36975-9
DOIs	https://doi.org/10.1007/978-3-642-36976-6_13
Publication status	Published - 2013
Event	9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia - Berlin Duration: 26 Sept 2011 → 30 Sept 2011

Publication series

Name
Publisher	Springer Berlin Heidelberg

Name	Lecture Notes in Computer Science
Volume	7758
ISSN (Print)	0302-9743

Conference

Conference	9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia
Period	26/09/11 → 30/09/11

Bibliographical note

Harvest

Access to Document

10.1007/978-3-642-36976-6_13

Cite this

@inproceedings{2835039e34e940cb87c44e6160af6b60,

title = "Interpreted systems semantics for process algebra with identity annotations",

author = "F Dechesne and {Reza Mousavi}, M",

note = "Harvest; 9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia ; Conference date: 26-09-2011 Through 30-09-2011",

year = "2013",

doi = "10.1007/978-3-642-36976-6_13",

language = "English",

isbn = "978-3-642-36975-9",

publisher = "Springer",

pages = "182--205",

editor = "G Bezhanishvili and S Lobner and V Marra and F Richter",

booktitle = "Logic, language, and computation: 9th International Tbilisi Symposium",

}

Dechesne, F & Reza Mousavi, M 2013, Interpreted systems semantics for process algebra with identity annotations. in G Bezhanishvili, S Lobner, V Marra & F Richter (eds), Logic, language, and computation: 9th International Tbilisi Symposium. Lecture Notes in Computer Science, vol. 7758, Springer, Berlin, pp. 182-205, 9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia, 26/09/11. https://doi.org/10.1007/978-3-642-36976-6_13

Interpreted systems semantics for process algebra with identity annotations. / Dechesne, F; Reza Mousavi, M.
Logic, language, and computation: 9th International Tbilisi Symposium. ed. / G Bezhanishvili; S Lobner; V Marra; F Richter. Berlin: Springer, 2013. p. 182-205 (Lecture Notes in Computer Science; Vol. 7758).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Interpreted systems semantics for process algebra with identity annotations

AU - Dechesne, F

AU - Reza Mousavi, M

N1 - Harvest

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-36976-6_13

DO - 10.1007/978-3-642-36976-6_13

M3 - Conference contribution

SN - 978-3-642-36975-9

SP - 182

EP - 205

BT - Logic, language, and computation: 9th International Tbilisi Symposium

A2 - Bezhanishvili, G

A2 - Lobner, S

A2 - Marra, V

A2 - Richter, F

PB - Springer

CY - Berlin

T2 - 9th International Tbilisi symposium on logic, language, and computation, Kutaisi, Georgia

Y2 - 26 September 2011 through 30 September 2011

ER -