The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy / Alvim, Mário S. ; Chatzikokolakis, Kostas ; Olarte, Carlos ; Valencia, Frank  

Público ISBD Ningún comentario para este registro. Título : 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 Tipo de documento: documento electrónico Autores: Alvim, Mário S., ; Chatzikokolakis, Kostas, ; Olarte, Carlos, ; Valencia, Frank, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXXIV, 461 p. 1292 ilustraciones, 45 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-31175-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería de software  Programación lógica  Informática  Estadistica matematica  Protección de datos  Teoría de la Computación  Lógica en IA  Probabilidad y Estadística en Informática  Seguridad de datos e información Índice Dewey: 40.151 Resumen: Este Festschrift se publicó en honor de Catuscia Palamidessi con motivo de su 60 cumpleaños. Cuenta con seis elogios, que están disponibles en la portada del volumen, y 25 artículos de colaboradores cercanos y amigos. Los artículos están organizados en secciones temáticas denominadas: concurrencia; programación lógica y de restricciones; seguridad y privacidad; y modelos y rompecabezas. Estas contribuciones son un tributo a la profundidad intelectual, la visión, la pasión por la ciencia y la tenacidad de Catuscia Palamidessi en la resolución de problemas técnicos. También reflejan la amplitud y el impacto de su trabajo. Sus intereses científicos incluyen, en orden cronológico, principios de lenguajes de programación, teoría de concurrencia, seguridad y privacidad. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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 [documento electrónico] / Alvim, Mário S., ; Chatzikokolakis, Kostas, ; Olarte, Carlos, ; Valencia, Frank,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXXIV, 461 p. 1292 ilustraciones, 45 ilustraciones en color. ISBN : 978-3-030-31175-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería de software  Programación lógica  Informática  Estadistica matematica  Protección de datos  Teoría de la Computación  Lógica en IA  Probabilidad y Estadística en Informática  Seguridad de datos e información Índice Dewey: 40.151 Resumen: Este Festschrift se publicó en honor de Catuscia Palamidessi con motivo de su 60 cumpleaños. Cuenta con seis elogios, que están disponibles en la portada del volumen, y 25 artículos de colaboradores cercanos y amigos. Los artículos están organizados en secciones temáticas denominadas: concurrencia; programación lógica y de restricciones; seguridad y privacidad; y modelos y rompecabezas. Estas contribuciones son un tributo a la profundidad intelectual, la visión, la pasión por la ciencia y la tenacidad de Catuscia Palamidessi en la resolución de problemas técnicos. También reflejan la amplitud y el impacto de su trabajo. Sus intereses científicos incluyen, en orden cronológico, principios de lenguajes de programación, teoría de concurrencia, seguridad y privacidad. Nota de contenido: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Por página: 25 50 100 200