Filters








2,615 Hits in 4.5 sec

Termination in Higher-Order Concurrent Calculi [chapter]

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We study termination of programs in concurrent higher-order languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing concurrent calculi.  ...  We then show how this type system can be adapted to accommodate higher-order functions in messages.  ...  As in [2] , reduction to the 3SAT problem should allow us to show that the type inference problem is NP-complete in this case.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11623-0_4">doi:10.1007/978-3-642-11623-0_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a62agyyvi5crlcj3zqqg4bifw4">fatcat:a62agyyvi5crlcj3zqqg4bifw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160128000027/http://www.doc.ic.ac.uk:80/~rdemange/Recherche/DemHirSan.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a7/50/a7506dd879814247d0be57473112979bca1bd9ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11623-0_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Termination in higher-order concurrent calculi

Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
<span title="">2010</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/anq6kvwvqbegtipq5vfhvonzqq" style="color: black;">The Journal of Logic and Algebraic Programming</a> </i> &nbsp;
We study termination of programs in concurrent higher-order languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing concurrent calculi.  ...  We then show how this type system can be adapted to accommodate higher-order functions in messages.  ...  We therefore study higher-order concurrent languages, and focus on the higher-order πcalculus, HOpi [8] , as working formalism to analyse termination in this setting.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2010.07.007">doi:10.1016/j.jlap.2010.07.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oepgqs2mmbbp3de5a3cqpady3q">fatcat:oepgqs2mmbbp3de5a3cqpady3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190312133238/https://core.ac.uk/download/pdf/82011401.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/42/83/4283c10346357df898d21fdea80b3d5b17d0151f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2010.07.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Steps on the Road to Component Evolvability [chapter]

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Central to these novel primitives is a restricted form of higher-order communication of processes involved in update operations.  ...  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.  ...  Higher-order process calculi are calculi in which processes can be passed around in communications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-27269-1_19">doi:10.1007/978-3-642-27269-1_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3zgdocpymfcfjowwayqahbtlji">fatcat:3zgdocpymfcfjowwayqahbtlji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809020212/http://cs.unibo.it/~perez/papers/ap-facs.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0b/15/0b15f810c6b592d9494126ff0d5719ed2b65aa26.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-27269-1_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On the Expressiveness and Decidability of Higher-Order Process Calculi

Ivan Lanese, Jorge A. Perez, Davide Sangiorgi, Alan Schmitt
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zw5e5duxvbdsthglbdpw3xoqae" style="color: black;">Logic in Computer Science</a> </i> &nbsp;
In higher-order process calculi the values exchanged in communications may contain processes.  ...  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.  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2008.8">doi:10.1109/lics.2008.8</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lics/LanesePSS08.html">dblp:conf/lics/LanesePSS08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2736otrnjfixftiu2ns65q6r4">fatcat:c2736otrnjfixftiu2ns65q6r4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808063044/http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos:avispa:papers:lpss08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/19/35/19351bcd30564fea91177fc5ffb291b75f1c6463.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/lics.2008.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

On the expressiveness and decidability of higher-order process calculi

Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/joe2ngto45hbnl3pncnesnq344" style="color: black;">Information and Computation</a> </i> &nbsp;
In higher-order process calculi the values exchanged in communications may contain processes.  ...  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.  ...  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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2010.10.001">doi:10.1016/j.ic.2010.10.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m2cam7szyzac7hd7hxwbd6a6mi">fatcat:m2cam7szyzac7hd7hxwbd6a6mi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808063044/http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos:avispa:papers:lpss08.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/19/35/19351bcd30564fea91177fc5ffb291b75f1c6463.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.ic.2010.10.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

The Challenge of Typed Expressiveness in Concurrency [chapter]

Jorge A. Pérez
<span title="">2016</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-39570-8_16">doi:10.1007/978-3-319-39570-8_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y6mx3k2dejdephkuwksc64n2ai">fatcat:y6mx3k2dejdephkuwksc64n2ai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502050927/https://hal.inria.fr/hal-01432921/file/426757_1_En_16_Chapter.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/de/3e/de3e8dfcbebe480ee7d38960c26b5b21857b2afa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-39570-8_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

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

Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
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 study the expressiveness of a higher-order process calculus featuring this style of communication.  ...  Introduction Higher-order process calculi are calculi in which processes can be communicated.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-03466-4_10">doi:10.1007/978-3-642-03466-4_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/64bvkinp3ze4vfpmw4izduwqhe">fatcat:64bvkinp3ze4vfpmw4izduwqhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171025190141/https://core.ac.uk/download/pdf/21749736.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/eb/f1/ebf1f7fc9244198bf88dbcf69b85b0dc4da9b2d0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-03466-4_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

On the discriminating power of passivation and higher-order interaction

Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kjskj3qctjdkbigtx4fkcqiyii" style="color: black;">Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS &#39;14</a> </i> &nbsp;
The concurrent higherorder languages that we focus on are Higher-Order π-calculus (HOπ), which supports higher-order communication, and an extension of HOπ with passivation, a simple higher-order construct  ...  This paper studies the discriminating power offered by higherorder concurrent languages, and contrasts this power with those offered by higher-order sequential languages (à la λ-calculus) and by first-order  ...  higher-order) separating tests of the λ-calculi into the Higher-Order π-calculi.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2603088.2603113">doi:10.1145/2603088.2603113</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/csl/BernardoSV14.html">dblp:conf/csl/BernardoSV14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uk2kfupinfcl3btzyeygyz5fk4">fatcat:uk2kfupinfcl3btzyeygyz5fk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706085459/http://www.sti.uniurb.it/bernardo/documents/csllics2014.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5b/eb/5beb88add40c29fa6c7a490c7953cd3f079673dd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2603088.2603113"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

Hubert Garavel
<span title="">2008</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
to specify concurrent systems at a higher abstraction level: process calculi, computer languages derived from process calculi, µ-calculus, etc., Semantics such as Structured Operational Semantics (Sos  ...  This suggests a new generation of formal specification languages that would combine the concurrent features of process calculi with the standard concepts present in algorithmic languages.  ...  These approaches bring full mobility, at the expense of introducing higher-order features that make state spaces potentially infinite.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2008.04.009">doi:10.1016/j.entcs.2008.04.009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cj2gvg3xsvg7jbcztlbktujm6a">fatcat:cj2gvg3xsvg7jbcztlbktujm6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813033449/http://www.win.tue.nl/ipa/archive/springdays2008/Garavel-07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ce/76/ce76c928a9c9d548dcd36dbb96a0b45e9e779d70.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2008.04.009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Towards an object calculus [chapter]

Oscar Nierstrasz
<span title="">1992</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
To address this problem, we propose the development of an object calculus, borrowing heavily from relevant work in the area of process calculi.  ...  Furthermore, the delicate relationship between object-oriented features supporting reuse and operational features concerning interaction and state change is poorly understood in a concurrent setting.  ...  . • Functions are agents: although several other higher-order process calculi have been proposed, and accurate encodings of the λ calculus into first-order process calculi have been demonstrated, to our  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-55613-3_1">doi:10.1007/3-540-55613-3_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6s7frmdlebhszizvt4hqx4ztny">fatcat:6s7frmdlebhszizvt4hqx4ztny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809070851/http://scg.unibe.ch/archive/osg/Nier92aAnObjectCalculus.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f2/2e/f22e3041f8e109327bd41ba82988f773c8889824.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-55613-3_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A decompilation of the pi-calculus and its application to termination [article]

Roberto Amadio
<span title="2011-02-11">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We study the correspondence between a concurrent lambda-calculus in administrative, continuation passing style and a pi-calculus and we derive a termination result for the latter.  ...  The application to termination appears as a natural test for the presented compilation techniques and can be regarded as a natural continuation of recent work on the termination of (higher-order) concurrent  ...  various imperative/concurrent extensions of λ-calculi and object-oriented calculi.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1102.2339v1">arXiv:1102.2339v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eevd7l74pvddtchod4pnfaezla">fatcat:eevd7l74pvddtchod4pnfaezla</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1102.2339/1102.2339.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1102.2339v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Page 5241 of Mathematical Reviews Vol. , Issue 98H [page]

<span title="">1998</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
for higher-order terms in y-long B-normal form (108-122); Roberto Virga, Higher-order superposition for dependent types (123-137).  ...  matching (317-331); Jordi Levy, Linear second-order unification (332-346); Roland Fettig and Bernd Léchner, Unification of higher-order patterns in a simply typed lambda-calculus with finite products  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-08_98h/page/5241" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998-08_98h/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Modeling Process Calculi with PVS

Dmitri Schamschurko
<span title="">1998</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We make use of PVS's higher order predicate logic to de ne the abstract co-data type \process" as a terminal coalgebra of the nite power-set functor } n ( ) A .  ...  In this work we s h o w h o w process calculi can be embedded into the generalpurpose veri cation system PVS.  ...  In this way our approach is able to describe so-called higher order processes. Of course, a terminal coalgebra of the functors like } n ( ) ( ) cannot be de ned (it does not exist (in Set)!).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00059-3">doi:10.1016/s1571-0661(04)00059-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mrklhfl3pracjjei5wznoego4u">fatcat:mrklhfl3pracjjei5wznoego4u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170929101259/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/789/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNDAwMDU5Mw%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6e/3c/6e3cde2471836a060d104cae29f7bc852b1fb917.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)00059-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Author index

<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Podelski, Verification of cryptographic protocols: tagging enforces termination (1-2) 67-90 Bonelli, E., Normalisation for higher-order calculi with explicit substitutions (1-2) 127-169 Uustalu, T., see  ...  The issue number is given in front of the page numbers. Abel, A., R. Matthes and T. Uustalu, Iteration and coiteration schemes for higher-order and nested datatypes (1-2) 3-66 Arnold, A., see L.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(05)00105-2">doi:10.1016/s0304-3975(05)00105-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/juyapndygnfptkkablreexldui">fatcat:juyapndygnfptkkablreexldui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171004005042/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/d5a/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzUwNTAwMTA1Mg%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8f/10/8f10655f4cf047e2616810bcfa02ef3cf4f897ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(05)00105-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Constraints for free in concurrent computation [chapter]

Joachim Niehren, Martin Müller
<span title="">1995</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We prove its Turing completeness by embedding the eager -calculus in continuation passing style.  ...  We investigate concurrency as unifying computational paradigm which integrates functional, constraint, and object-oriented programming.  ...  Higher-Order Programming. The following example illustrates the higher-order nature of . Consider a constraint system providing equations and integers with addition.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-60688-2_43">doi:10.1007/3-540-60688-2_43</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kysfl33wojfr3ceqmxoofzocxm">fatcat:kysfl33wojfr3ceqmxoofzocxm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706042214/https://hal.inria.fr/inria-00536813/document/" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e4/86/e486828c44ce113af97c2bec36b3f0911b445071.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-60688-2_43"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 2,615 results