Processes against tests: on defining contextual equivalences. (English) Zbl 07595225
MSC:
68-XX
Found 45 Documents (Results 1–45)
Modular coinduction up-to for higher-order languages via first-order transition systems. (English) Zbl 07407797
MSC:
68Q85
Up-to techniques for branching bisimilarity. (English) Zbl 1440.68176
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 285-297 (2020).
MSC:
68Q85
Comparing process calculi using encodings. (English) Zbl 07449992
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 300, 19-38 (2019).
MSC:
68Q85
Unique solutions of contractions, CCS, and their HOL formalisation. (English) Zbl 1525.68086
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 122-139 (2018).
Monitoring for silent actions. (English) Zbl 1491.68104
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018).
The paths to choreography extraction. (English) Zbl 1486.68111
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 424-440 (2017).
MSC:
68Q85
Equations, contractions, and unique solutions. (English) Zbl 1346.68139
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 421-432 (2015).
Towards a unified approach to encodability and separation results for process calculi. (English) Zbl 1209.68336
MSC:
68Q85
Counting the cost in the picalculus (extended abstract). (English) Zbl 1291.68288
Bonchi, Filippo (ed.) et al., Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 3, 117-129 (2009).
MSC:
68Q85
The calculus of handshake configurations. (English) Zbl 1234.68296
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 227-241 (2009).
Towards a unified approach to encodability and separation results for process calculi. (English) Zbl 1160.68466
van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 492-507 (2008).
MSC:
68Q85
Using bisimulation proof techniques for the analysis of distributed abstract machines. (English) Zbl 1146.68053
An operational semantics for shared messaging communication. (English) Zbl 1278.68143
van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 77-92 (2007).
Synchrony vs asynchrony in communication primitives. (English) Zbl 1277.68185
Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 87-108 (2007).
Complete lattices and up-to techniques. (English) Zbl 1138.68041
Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 351-366 (2007).
Formalising Java RMI with explicit code mobility. (English) Zbl 1132.68020
MSC:
68N15
New up-to techniques for weak bisimulation. (English) Zbl 1118.68095
MSC:
68Q85
Bisimulation on speed: a unified approach. (English) Zbl 1097.68097
MSC:
68Q85
On an open problem of Amadio and Curien: The finite antichain condition. (English) Zbl 1088.18004
Reviewer: Răzvan Diaconescu (Ploiesti)
Bisimulation on speed: lower time bounds. (English) Zbl 1077.68064
Reviewer: Damas Gruska (Bratislava)
Bisimulation on speed: Worst-case efficiency. (English) Zbl 1074.68037
MSC:
68Q85
Faster asynchronous systems. (English) Zbl 1054.68097
MSC:
68Q85
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem. (English) Zbl 1026.68099
MSC:
68Q85
Fast asynchronous systems in dense time. (English) Zbl 0974.68128
MSC:
68Q85
Decoding choice encodings. (English) Zbl 1003.68080
MSC:
68Q85
On the expressiveness of internal mobility in name-passing calculi. (English) Zbl 0915.68059
MSC:
68Q10
On performance congruences for process algebras. (English) Zbl 0921.68031
MSC:
68Q05
68Q55
Absolute versus relative time in process algebras. (English) Zbl 0911.68137
Palamidessi, C. (ed.) et al., EXPRESS ’97. Papers from the conference, Santa Margherita Ligure, Italy, September 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 7, 20 p. (1997).
MSC:
68Q60
Testing processes for efficiency. (English) Zbl 1541.68248
Chandru, V. (ed.) et al., Foundations of software technology and theoretical computer science. 16th conference, Hyderabad, India, December 18–20, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1180, 100-110 (1996).
MSC:
68Q85
On the expressiveness of internal mobility in name-passing calculi. (English) Zbl 1514.68157
Montanari, Ugo (ed.) et al., CONCUR ‘96: Concurrency theory. 7th international conference, Pisa, Italy, August 26–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1119, 163-178 (1996).
MSC:
68Q85
An algebraic framework for developing and maintaining real-time systems. (English) Zbl 1496.68237
Alagar, V. S. (ed.) et al., Algebraic methodology and software technology. 4th international conference, AMAST ’95, Montreal, Canada, July 3–7, 1995. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 936, 338-352 (1995).
An efficiency preorder for processes. (English) Zbl 0790.68039
Reviewer: S.Arun-Kumar (New Delhi)
Filter Results by …
Document Type
- Journal Articles (29)
- Collection Articles (16)
all
top 5
Author
- Sangiorgi, Davide (7)
- Vogler, Walter (6)
- Gorla, Daniele (4)
- Pous, Damien (4)
- Boreale, Michele (3)
- Corradini, Flavio (3)
- Lüttgen, Gerald (3)
- Aceto, Luca (2)
- Arunkumar, S. (2)
- Hennessy, Matthew C. B. (2)
- Ingólfsdóttir, Anna (2)
- Merro, Massimo (2)
- Nestmann, Uwe (2)
- Tian, Chun (2)
- Varacca, Daniele (2)
- Achilleos, Antonis (1)
- Ahern, Alexander (1)
- Aubert, Clément (1)
- Bugliesi, Michele (1)
- Crafa, Silvia (1)
- Cruz-Filipe, Luís (1)
- De Nicola, Rocco (1)
- Erkens, Rick (1)
- Fossati, Luca (1)
- Francalanza, Adrian (1)
- Gaur, Manish (1)
- Jain, Kamal C. (1)
- Jenner, Lars (1)
- Jiang, Ying (1)
- Kiehn, Astrid (1)
- Lanotte, Ruggero (1)
- Larsen, Kim Skak (1)
- Leonard, Elizabeth I. (1)
- Luttik, Bas (1)
- Madiot, Jean-Marie (1)
- Montesi, Fabrizio (1)
- Pedersen, Mikkel Lykke (1)
- Peters, Kirstin (1)
- Pierce, Benjamin C. (1)
- Poulsen, Jan (1)
- Pugliese, Rosario (1)
- Ravara, António (1)
- Rot, Jurriaan (1)
- Sassone, Vladimiro (1)
- Vasconcelos, Vasco Thudichum (1)
- Xu, Xian (1)
- Yoshida, Nobuko (1)
- Zhang, Guo-Qiang (1)
- Zwarico, Amy E. (1)
all
top 5
Serial
- Inf. Comput. (13)
- Theor. Comput. Sci. (8)
- Theor. Inform. Appl. (2)
- Log. Methods Comput. Sci. (2)
- Acta Inf. (1)
- Inf. Process. Lett. (1)
- ACM Trans. Comput. Log. (1)
- J. Log. Algebr. Methods Program. (1)
