×

Found 19 Documents (Results 1–19)

Logical characterisations and compositionality of input-output conformance simulation. (English) Zbl 1433.68090

Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 37-48 (2017).
PDFBibTeX XMLCite
Full Text: DOI

The equational theory of weak complete simulation semantics over BCCSP. (English) Zbl 1298.68161

Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 141-152 (2012).
MSC:  68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Axiomatizing weak ready simulation semantics over BCCSP. (English) Zbl 1351.68177

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 7-24 (2011).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

On the unification of process semantics: equational semantics. (English) Zbl 1337.68180

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 243-267 (2009).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

On the unification of process semantics: observational semantics. (English) Zbl 1206.68220

Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 279-290 (2009).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Coinductive characterisations reveal nice relations between preorders and equivalences. (English) Zbl 1286.68350

Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 149-162 (2008).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Constrained simulations, nested simulation semantics and counting bisimulations. (English) Zbl 1278.68149

Pimentel, Ernesto (ed.), Proceedings of the seventh Spanish conference on programming and computer languages (PROLE 2007), Zaragoza, Spain, September 12–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 206, 41-58 (2008).
MSC:  68Q55 68Q85
PDFBibTeX XMLCite
Full Text: Link

Simulations up-to and canonical preorders (extended abstract). (English) Zbl 1278.68148

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, 13-28 (2007).
MSC:  68Q55 68Q85
PDFBibTeX XMLCite
Full Text: DOI

New bisimulation semantics for distributed systems. (English) Zbl 1215.68161

Derrick, John (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2007. 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73195-5/pbk). Lecture Notes in Computer Science 4574, 143-159 (2007).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Bisimulations up-to for the linear time branching time spectrum. (English) Zbl 1134.68457

Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 278-292 (2005).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Ergotracer: An internet user behaviour tracer. (English) Zbl 1046.68881

Unger, Herwig (ed.) et al., Innovative Internet computing systems. 2nd international workshop, IICS 2002, Kühlungsborn, Germany, June 20–22, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43790-8). Lect. Notes Comput. Sci. 2346, 121-132 (2002).
MSC:  68U99 68M10
PDFBibTeX XMLCite
Full Text: Link

Denotational semantics for probabilistic refusal testing. (English) Zbl 0920.68066

Baier, Christel (ed.) et al., Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV ’98), Indianapolis, IN, USA, June 19–20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS ’98). Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 22, Electronic paper No. 9, (1998).
MSC:  68Q55
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software