The art of modelling computational s...
Alvim, Mario S.

FindBook      Google Book      Amazon      博客來     
  • The art of modelling computational systems = a journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: The art of modelling computational systems/ edited by Mario S. Alvim ... [et al.].
    其他題名: a journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday /
    其他作者: Alvim, Mario S.
    出版者: Cham :Springer International Publishing : : 2019.,
    面頁冊數: xxxiv, 461 p. :ill., digital ;24 cm.
    內容註: Concurrency -- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size -- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need strategy -- Deadlock Analysis of Wait-Notify Coordination -- Enhancing reaction systems: a process algebraic approach -- Checking the Expressivity of Firewall Languages -- Polymorphic Session Processes as Morphisms -- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies -- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice -- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies -- Stronger Validity Criteria for Encoding Synchrony -- Confluence of the Chinese Monoid -- Logic and Constraint Programming -- A coalgebraic approach to unification semantics of logic programming -- Polyadic Soft Constraints -- Security and Privacy -- Core-concavity, Gain Functions and Axioms for Information Leakage -- Formalisation of Probabilistic Testing Semantics in Coq -- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics -- Fooling the Parallel Or Tester with Probability 8/27 -- Categorical information flow -- Statistical Epistemic Logic -- Approximate model counting, sparse XOR constraints and minimum distance -- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative Information Flow -- Models and Puzzles -- Toward a Formal Model for Group Polarization in Social Networks -- Make Puzzles Great Again.
    Contained By: Springer Nature eBook
    標題: Programming languages (Electronic computers) -
    電子資源: https://doi.org/10.1007/978-3-030-31175-9
    ISBN: 9783030311759
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9403983 電子資源 11.線上閱覽_V 電子書 EB QA76.7 .A78 2019 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入