×

Found 88 Documents (Results 1–88)

100
MathJax

Approximations of belief functions using compositional models. (English) Zbl 07542354

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 354-366 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Consistently-detecting monitors. (English) Zbl 1442.68107

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 8, 19 p. (2017).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Compositional weak metrics for group key update. (English) Zbl 1441.68146

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 72, 16 p. (2017).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Algebra for quantitative information flow. (English) Zbl 1486.68044

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 3-23 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Sós specifications of probabilistic systems by uniformly continuous operators. (English) Zbl 1374.68328

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 155-168 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Compositional heterogeneous abstraction. (English) Zbl 1362.68182

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 253-262 (2013).
MSC:  68Q60 68Q55 93A30
PDF BibTeX XML Cite
Full Text: DOI

Views, compositional reasoning for concurrent programs. (English) Zbl 1301.68099

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 287-300 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Verification of parameterized concurrent programs by modular reasoning about data and control. (English) Zbl 1321.68192

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 297-308 (2012).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI

Maximal and compositional pattern-based loop invariants. (English) Zbl 1372.68060

Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 37-51 (2012).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI Link

Concurrency verification. Introduction to compositional and noncompositional methods. Reprint of the 2001 hardback ed. (English) Zbl 1214.68125

Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011).
PDF BibTeX XML Cite

Compositional analysis for linear control systems. (English) Zbl 1360.93279

Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 21-30 (2010).
MSC:  93C05 68Q60 93A14
PDF BibTeX XML Cite
Full Text: DOI Link

Temporal logic verification of lock-freedom. (English) Zbl 1286.68322

Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 377-396 (2010).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI

Assumption-commitment support for CSP model checking. (English) Zbl 1335.68178

Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 121-137 (2007).
MSC:  68Q85 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

Analytical theory of fuzzy IF-THEN rules with compositional rule of inference. (English) Zbl 1136.03019

Wang, Paul P. (ed.) et al., Fuzzy logic. A spectrum of theoretical and practical issues. Berlin: Springer (ISBN 978-3-540-71257-2/hbk). Studies in Fuzziness and Soft Computing 215, 173-191 (2007).
MSC:  03B52 68T37
PDF BibTeX XML Cite
Full Text: DOI

Concurrency verification. Introduction to compositional and noncompositional methods. (English) Zbl 1009.68020

Cambridge Tracts in Theoretical Computer Science. 54. Cambridge: Cambridge University Press. xxii, 776 p. (2001).
PDF BibTeX XML Cite

On generalized modus ponens with parallel rules and a residuated implication. (English) Zbl 0907.03010

Shehab, Moufeed (ed.) et al., The 3rd international conference on engineering mathematics and physics, Cairo, Egypt, December 23–25, 1997. Vol. 1 and 2. Cairo: Cairo Univ., Faculty of Engineering, 231-255 (1997).
MSC:  03B52 68T27
PDF BibTeX XML Cite

Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship. (English) Zbl 0674.68011

Lecture Notes in Computer Science, 321. Berlin etc.: Springer-Verlag. VI, 272 p. DM 42.00 (1989).
Reviewer: T.Balanescu
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software