Filters








5,698 Hits in 4.2 sec

On the Expressiveness and Decidability of Higher-Order Process Calculi

Ivan Lanese, Jorge A. Perez, Davide Sangiorgi, Alan Schmitt
2008 Logic in Computer Science  
A core calculus of higher-order concurrency is studied; it has only the operators necessary to express higher-order communications: input prefix, process output, and parallel composition.  ...  In higher-order process calculi the values exchanged in communications may contain processes.  ...  We also benefited from exchanges with Cinzia Di Giusto, Maurizio Gabbrielli, Antonín Kučera, and Gianluigi Zavattaro, and from feedback from the users of the Moca and Concurrency mailing lists.  ... 
doi:10.1109/lics.2008.8 dblp:conf/lics/LanesePSS08 fatcat:c2736otrnjfixftiu2ns65q6r4

On the expressiveness and decidability of higher-order process calculi

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2011 Information and Computation  
A core calculus of higher-order concurrency is studied; it has only the operators necessary to express higher-order communications: input prefix, process output, and parallel composition.  ...  In higher-order process calculi the values exchanged in communications may contain processes.  ...  We also benefited from exchanges with Cinzia Di Giusto, Maurizio Gabbrielli, Antonín Kučera, and Gianluigi Zavattaro, and from feedback from the users of the Moca and Concurrency mailing lists.  ... 
doi:10.1016/j.ic.2010.10.001 fatcat:m2cam7szyzac7hd7hxwbd6a6mi

Steps on the Road to Component Evolvability [chapter]

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2012 Lecture Notes in Computer Science  
The origins of our calculus for components can indeed be traced back to our own previous work on expressiveness and decidability results for core higher-order process calculi.  ...  Here we overview these previous works, and discuss the motivations and design decisions that led us from higher-order process calculi to calculi for component evolvability.  ...  With the purpose of investigating expressiveness and decidability issues in the higher-order paradigm, a core higher-order process calculus, called HOCORE, was introduced [6] .  ... 
doi:10.1007/978-3-642-27269-1_19 fatcat:3zgdocpymfcfjowwayqahbtlji

Higher-Order Concurrency: Expressiveness and Decidability

Jorge A. Pérez
2010 Bulletin of the European Association for Theoretical Computer Science  
This installment of the concurrency column is devoted to a piece by Jorge Perez, which offers a survey of recent results on the expressiveness and decidability of core higher-order process calculi.  ...  A celebrated result of Sangiorgi's shows that, in the π-calculus, the higherorder paradigm can be encoded in the first-order one-that is, process passing can be expressed in terms of channel passing.  ...  I am grateful to Davide Sangiorgi, who supervised the thesis work on which this survey is based on, for helpful comments on a draft of this paper.  ... 
dblp:journals/eatcs/Perez10 fatcat:qujdmqosn5fshcpa6yitfpcuei

On the Expressiveness of Forwarding in Higher-Order Communication [chapter]

Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
2009 Lecture Notes in Computer Science  
We study the expressiveness of a higher-order process calculus featuring this style of communication.  ...  In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwarding.  ...  We are grateful to Julian Gutierrez for his helpful comments on an earlier version of this paper.  ... 
doi:10.1007/978-3-642-03466-4_10 fatcat:64bvkinp3ze4vfpmw4izduwqhe

Algorithms for Extended Alpha-Equivalence and Complexity

Manfred Schmidt-Schauß, Conrad Rau, David Sabel, Marc Herbstritt
2013 International Conference on Rewriting Techniques and Applications  
Equality of expressions in lambda-calculi, higher-order programming languages, higher-order programming calculi and process calculi is defined as alpha-equivalence.  ...  , and that the replication operator in the pi-calculus may lead to an EXPSPACE-hard alphaequivalence problem.  ...  Acknowledgments We thank the anonymous reviewers for their valuable and helpful comments.  ... 
doi:10.4230/lipics.rta.2013.255 dblp:conf/rta/Schmidt-SchaussRS13 fatcat:zojcz24qonemnbmrown7widgpm

Prefixed Tableaux Systems for Modal Logics with Enriched Languages

Philippe Balbiani, Stéphane Demri
1997 International Joint Conference on Artificial Intelligence  
These logics are of special interest in Artificial Intelligence since their expressive power is higher than the standard modal logics and for most of them the satisfiability problem remains decidable.  ...  We also include in the paper decision procedures based on these systems. In the conclusion, we relate our work with similar ones from the literature and we propose exten sions to other logics.  ...  Acknowledgments: the authors thank Luis Farinas del Cerro for his encouragements.  ... 
dblp:conf/ijcai/BalbianiD97 fatcat:3pachq7cgbhd7ftrj65c7rg7ii

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi [chapter]

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
2010 Lecture Notes in Computer Science  
We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-understood for first-order calculi but not in the higher-order setting: synchronous vs. asynchronous communication  ...  In this paper, we study the expressive power of strictly higher-order process calculi, and concentrate on fundamental questions of expressiveness in process calculi at large: asynchronous vs. synchronous  ...  Aranda and F. Valencia for discussions on the topics of this paper, and to the anonymous reviewers for their suggestions.  ... 
doi:10.1007/978-3-642-14162-1_37 fatcat:sx6vrnrqcnf6tj57rzfv5tafu4

The Challenge of Typed Expressiveness in Concurrency [chapter]

Jorge A. Pérez
2016 Lecture Notes in Computer Science  
López, and Camilo Rueda for their useful feedback on previous drafts of this paper.  ...  For instance, the fully abstract encodability of process mobility (process passing) into name mobility has important consequences on the behavioral theory of higher-order process calculi [50] .  ...  In their recent study of the relative expressivity of higher-order session communication, Kouzapas et al. [40] define a notion of typed encoding that extends [30] with session types.  ... 
doi:10.1007/978-3-319-39570-8_16 fatcat:y6mx3k2dejdephkuwksc64n2ai

Page 3210 of Mathematical Reviews Vol. , Issue 98E [page]

1998 Mathematical Reviews  
The paper is about the notion of bisimulation in higher-order process calculi (i.e. those which allow terms of the language to be communicated).  ...  Using a simple process-passing calculus, the author shows that the definition of bisimulation for CCS or z- calculus is not appropriate for higher-order calculi.  ... 

On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi [chapter]

Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
2004 Lecture Notes in Computer Science  
In this paper we study various representatives of these calculi based upon both their relative expressiveness and the decidability of divergence.  ...  In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names.  ...  We are indebted to Maurizio Gabbrielli, Jean-Jacques Lévy, Sergio Maffeis, Catuscia Palamidessi, Joachim Parrow, Rosario Pugliese and Davide Sangiorgi, for insightful discussions on the topics of this  ... 
doi:10.1007/978-3-540-24727-2_17 fatcat:bwkthpjjaneorddmyhazpqrv44

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2005 Electronical Notes in Theoretical Computer Science  
Such labels will be considered with two different semantics, one modeling probabilistic distribution of data retrieval and the other modeling priorities of tuples.  ...  Finally, we report all the results concerning the expressiveness gap between the standard model and the proposed extensions.  ...  These calculi permit to formally prove gap of expressiveness between the considered extensions and the native tuple space model.  ... 
doi:10.1016/j.entcs.2004.11.041 fatcat:mr224yg4xjhbppofmdppjzk6fy

ACVisualizer: A visualization tool for APi-calculus

Raheel Ahmad, Shahram Rahimi
2008 Multiagent and Grid Systems  
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems.  ...  Due to the dynamic nature of mobile agents, a graphical program based on the mathematics of the calculus would enhance the use of the calculus and its attraction to the mobile agents industry.  ...  It stays away from higher order constructs although a Higher Order variant has been specified [19] .  ... 
doi:10.3233/mgs-2008-4303 fatcat:huyrwoi7pbgt5kbd4cnnxr6mva

Page 1317 of Mathematical Reviews Vol. , Issue 2003B [page]

2003 Mathematical Reviews  
Second, it gives a unified presentation of both first-order and higher-order process calculi.  ...  The language is more uni- form than existing process calculi in two aspects: First, it gives a unified treatment of channels and processes. There is only one class of syntactical entities—processes.  ... 

Comparison of the trauma degree after retroperitoneoscopy and percutaneous nephtoscopy treatment of complicated upper ureteral calculi

Shu-Run Zhao, Zhan-Peng Lu
2016 Journal of Hainan Medical University  
Objective: To compare the trauma degree after retroperitoneoscopy and percutaneous nephtoscopy treatment of complicated upper ureteral calculi.  ...  postoperative p38MAPK mRNA and protein expression levels of observation group were lower than those of control group while PI3K and Akt mRNA and protein expression levels were higher than those of control  ...  space during operation, the process is relatively complex but the surgical trauma is small, and the probability of completely removing calculi is high.  ... 
doaj:5b4abafff7c340c7adeb5ed2eb05ee46 fatcat:dtfm6vnmhraqjbbw3dmiz4u4p4
« Previous Showing results 1 — 15 out of 5,698 results