Filters








482 Hits in 3.8 sec

A Pre-congruence Format for XY-simulation [chapter]

Harsh Beohar, Mohammad Reza Mousavi
2015 Lecture Notes in Computer Science  
In this paper, we propose a precongruence rule format for XY -simulation.  ...  XY -simulation is a generalization of bisimulation that is parameterized with two subsets of actions.  ...  Conclusions In this paper, we proposed a pre-congruence rule format for XY -simulation.  ... 
doi:10.1007/978-3-319-24644-4_15 fatcat:sma73bextncvfc5ktvlp4xumbu

A Compositional Coalgebraic Model of a Fragment of Fusion Calculus

Maria Grazia Buscemi, Ugo Montanari
2006 Electronical Notes in Theoretical Computer Science  
We follow the approach developed by Turi and Plotkin for lifting transition systems with a syntactic structure to bialgebras and, thus, we provide a compositional model of the fusion calculus with explicit  ...  In such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus  ...  By rule (Pre), p can undergo any of the following transitions: p (x y, τ ) − −− → y w.0 p (z y, τ ) − −− → y w.0 | z = x p (x y , ψ) − −−− → y w.0 | ϕ, for all ϕ, for all x , y such that ϕ xy = x y , and  ... 
doi:10.1016/j.entcs.2005.12.109 fatcat:iyslnhnenrf4dk23i5tzcaleru

A compositional coalgebraic model of fusion calculus

Maria Grazia Buscemi, Ugo Montanari
2007 The Journal of Logic and Algebraic Programming  
In such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus  ...  We follow a recent theory by the same authors and previously applied to the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus, we provide a compositional model of the fusion  ...  Acknowledgments We are grateful to an anonymous referee for very helpful comments. Theorem B.17. Let p and q be two terms of algebra B. p ∼ 3 q if and only if p ∼ F q. Proof.  ... 
doi:10.1016/j.jlap.2007.05.001 fatcat:6veboa4imnamtlshssspz5kafa

pixy: Unbiased estimation of nucleotide diversity and divergence in the presence of missing data [article]

Katharine L Korunes, Kieran Samuk
2020 bioRxiv   pre-print
Many popular methods for calculating π and dXY operate on data encoded in the Variant Call Format (VCF), which condenses genetic data by omitting invariant sites.  ...  In sum, our software solves a long-standing problem in applied population genetics and highlights the importance of properly accounting for missing data in population genetic analyses.  ...  (A, B) The sampling 198 distribution of π (A) and d XY (B), as estimated from 10 000 simulated data sets using pixy and a variety of 199 existing methods (see text for details).  ... 
doi:10.1101/2020.06.27.175091 fatcat:hdm4hsmpvfaujhwoxa62fjbulm

The Polyadic π-Calculus: a Tutorial [chapter]

Robin Milner
1993 Logic and Algebra of Specification  
One example is the presentation of data structures as processes which respect a particular sorting another is the sorting for a known translation of the -calculus into -calculus.  ...  a n d s o a l s o i s a c haracterization in modal logic.  ...  Acknowledgements I thank Joachim Parrow and David Walker for the insights which came from our original work together on -calculus, and which h a ve deeply informed the present development.  ... 
doi:10.1007/978-3-642-58041-3_6 fatcat:i6i37at2zvh45n7ulcuyk7zesy

The RGFF representational model: a system for the automatically learned partitioning of "visual patterns" in digital images

R. Rodriguez-Sanchez, J.A. Garcia, J. Fdez-Valdivia, X.R. Fdez-Vidal
1999 IEEE Transactions on Pattern Analysis and Machine Intelligence  
The filtered responses are analyzed through a family of statistics. For any given two activated filters, a distance between them is derived via distances between their statistics.  ...  AbstractÐThis paper describes a system for the automatically learned partitioning of ªvisual patternsº in 2D images, based on a sophisticated, band-pass, filtering operation with fixed scale and orientation  ...  Thanks are also due to the reviewers of this paper for their constructive suggestions and criticisms.  ... 
doi:10.1109/34.799910 fatcat:raycnhndcfh7tfr2ubg2kbwsju

Quasi-Open Bisimilarity with Mismatch is Intuitionistic

Ross Horne, Ki Yung Ahn, Shang-wei Lin, Alwen Tiu
2018 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18  
Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π -calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities).  ...  The more famous open bisimilarity is also considered, for which the coarsest extension for handling mismatch is identified. Applications to checking privacy properties are highlighted.  ...  We are grateful to Fu Yuxi and Björn Victor for sharing their insight into key examples.  ... 
doi:10.1145/3209108.3209125 dblp:conf/lics/HorneALT18 fatcat:q77ttsgahbgwzbccdjcyohnv7y

Certainty as a moderator of feedback reactions? A test of the strength of the self-verification motive

Frederik Anseel, Filip Lievens
2006 Journal of Occupational and Organizational Psychology  
We examined in a field study whether self-view certainty serves as a moderator and strengthens the effect of congruence between individuals' self-views and the performance feedback they receive about these  ...  Little support was found for the moderating role of self-view certainty.  ...  We would like to thank Marc Covents for his programming work on the computerized in-basket exercise.  ... 
doi:10.1348/096317905x71462 fatcat:g2p64zdhlvdcdms5siz3nrv3ye

Ethnic identity, political identity and ethnic conflict: simulating the effect of congruence between the two identities on ethnic violence and conflict

Daniel Sebastian Wigmore-Shepherd
2012 Structure and Dynamics : e-Journal of Anthropological and Related Sciences  
The larger of the two results (Res 1 ) is chosen and compared to the ethnic antagonism X has for Y (E XY ).  ...  This paper hypothesises that ethnic conflict can occur in the simulation in the absence of initial ethnic antagonism and that a higher ethno-political congruence will accelerate the process by which a  ... 
doi:10.5070/sd953014315 fatcat:qf7k43cp25cqfjzyaurckvgeg4

Representation and simulation of biochemical processes using the pi-calculus process algebra

A Regev, W Silverman, E Shapiro
2001 Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing  
We have developed a computer simulation system, the PiFCP, for execution and analysis of pi-calculus programs.  ...  We present a pi-calculus model for the RTK-MAPK signal transduction pathway, formally represent detailed molecular and biochemical information, and study it by various PiFCP simulations.  ...  Q 0 reaction up to structural congruence 2.26 Figure 2 : The -calculus: The calculus consists of three components: a simple syntax for writing formal descriptions; a set of congruence laws that determine  ... 
pmid:11262964 fatcat:o2s6qyrd7jh3xbgjkolig7byhi

Stable model order reduction for time-domain exterior vibro-acoustic finite element simulations

S. van Ophem, O. Atak, E. Deckers, W. Desmet
2017 Computer Methods in Applied Mechanics and Engineering  
To reduce the calculation complexity needed for time integration a model order reduction technique is proposed.  ...  A time stable Krylov subspace reduction technique is derived for the coupled exterior vibro-acoustic problem case.  ...  Deckers is funded by a grant from the Fund for Scientific Research Flanders (F.W.O). The Research Fund KU Leuven is gratefully acknowledged for its support.  ... 
doi:10.1016/j.cma.2017.06.022 fatcat:7kbsz7cfhrhafh6iceicozvw7a

An Introduction to History Dependent Automata

Ugo Montanari, Marco Pistore
1998 Electronical Notes in Theoretical Computer Science  
Due to the necessity to represent the creation of new channels, in nite automata are obtained in this case also for very simple agents and a non-standard de nition of bisimulation is required.  ...  We also de ne a bisimulation equivalence on history dependent automata, that captures -calculus bisimulation. The results presented here are discussed in more detail in 21].  ...  A HD-bisimulation for A 1 and A 2 is a set of triples R such that R is a HDsimulation for A 1 and A 2 and R 1 = fhq 2 1 q 1 i j hq 1 q 2 i 2 Rg is a HD-simulations for A 2 and A 1 .  ... 
doi:10.1016/s1571-0661(05)80696-6 fatcat:lvy6ubdmozcsrdt3jlkeznljj4

Client-Server Sessions in Linear Logic [article]

Zesen Qian, G. A. Kavvos, Lars Birkedal
2021 arXiv   pre-print
We introduce coexponentials, a new set of modalities for Classical Linear Logic.  ...  This makes them a suitable logical device for encapsulating the pattern of a server receiving requests from an arbitrary number of clients on a single channel.  ...  This work was also supported in part by a Villum Investigator grant (no. 25804, Center for Basic Research in Program Verification (CPV)).  ... 
arXiv:2010.13926v2 fatcat:hxaty6l4ybg3tnsnil6piuaafu

The reflexive CHAM and the join-calculus

Cédric Fournet, Georges Gonthier
1996 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96  
P , a reaction consumes compound molecules that have a speci c join pattern J, and produces new molecules in the solution that are copies of P where the formal parameters of J have been instantiated to  ...  Our model provides the foundations of a programming language with functional and object-oriented features.  ...  We used Paul Taylor's macros for typesetting diagrams.  ... 
doi:10.1145/237721.237805 dblp:conf/popl/FournetG96 fatcat:3qgfhojuofhxzebzgbga5gy4me

A π-calculus with explicit substitutions: The late semantics [chapter]

GianLuigi Ferrari, Ugo Montanari, Paola Quaglia
1994 Lecture Notes in Computer Science  
A nite branching labelled transition system and a complete axiomatic characterization of the Late bisimulation equivalence are obtained.  ...  For instance, complete axiomatic characterizations of -calculus bisimulation equivalences can be automatically derived by turning SOS rules into equations.  ...  Acknowledgments We are very grateful to Rocco De Nicola, Joachim Parrow and Davide Sangiorgi for their comments on early stages of the work.  ... 
doi:10.1007/3-540-58338-6_81 fatcat:2torih5j4bcjpaidpbdqtz6hue
« Previous Showing results 1 — 15 out of 482 results