:facetid:toc:\"db/series/eptcs/eptcs190.bht\"OKPedro R. D'ArgenioMatias David LeeDaniel GeblerSOS rule formats for convex and abstract probabilistic bisimulations.EXPRESS/SOS31-452015Conference and Workshop Papersopenjournals/corr/DArgenioLG1510.4204/EPTCS.190.3https://doi.org/10.4204/EPTCS.190.3https://dblp.org/rec/journals/corr/DArgenioLG15URL#3664341Ornela DardhaJorge A. Pérez 0001Comparing Deadlock-Free Session Typed Processes.EXPRESS/SOS1-152015Conference and Workshop Papersopenjournals/corr/DardhaP1510.4204/EPTCS.190.1https://doi.org/10.4204/EPTCS.190.1https://dblp.org/rec/journals/corr/DardhaP15URL#3664343Jovana DedeicJovanka PantovicJorge A. Pérez 0001On Compensation Primitives as Adaptable Processes.EXPRESS/SOS16-302015Conference and Workshop Papersopenjournals/corr/DedeicPP1510.4204/EPTCS.190.2https://doi.org/10.4204/EPTCS.190.2https://dblp.org/rec/journals/corr/DedeicPP15URL#3664344Meike HatzelChristoph WagnerKirstin PetersUwe NestmannEncoding CSP into CCS.EXPRESS/SOS61-752015Conference and Workshop Papersopenjournals/corr/HatzelWPN15a10.4204/EPTCS.190.5https://doi.org/10.4204/EPTCS.190.5https://dblp.org/rec/journals/corr/HatzelWPN15aURL#3664402Kirstin PetersRob J. van GlabbeekAnalysing and Comparing Encodability Criteria.EXPRESS/SOS46-602015Conference and Workshop Papersopenjournals/corr/PetersG1510.4204/EPTCS.190.4https://doi.org/10.4204/EPTCS.190.4https://dblp.org/rec/journals/corr/PetersG15URL#3664512Reuben N. S. RoweEncoding the Factorisation Calculus.EXPRESS/SOS76-902015Conference and Workshop Papersopenjournals/corr/Rowe1510.4204/EPTCS.190.6https://doi.org/10.4204/EPTCS.190.6https://dblp.org/rec/journals/corr/Rowe15URL#3664531Silvia CrafaDaniel GeblerProceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015.EXPRESS/SOSEPTCS1902015Editorshipopenjournals/corr/CrafaG1510.4204/EPTCS.190https://doi.org/10.4204/EPTCS.190https://dblp.org/rec/journals/corr/CrafaG15URL#3669567