Filters








3,848 Hits in 9.1 sec

Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems [chapter]

Pierre Chambart, Philippe Schnoebelen
<span title="">2007</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;
PEP reg is decidable but not primitive recursive. This entails the decidability of reachability for unidirectional systems with one reliable and one lossy channel.  ...  We introduce PEP, the Post Embedding Problem, a variant of PCP where one compares strings with the subword relation, and PEP reg , a further variant where solutions are constrained and must belong to a  ...  ReachUcs is decidable (but not primitive recursive). Corollary 6.6. PEP reg is (decidable but) not primitive recursive.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-77050-3_22">doi:10.1007/978-3-540-77050-3_22</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vay5g4gsxzf7be6mqo5llzmgjq">fatcat:vay5g4gsxzf7be6mqo5llzmgjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080419020027/http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/rr-lsv-2007-28.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/5c/db/5cdbd081c014bf1511f441dfd475b72e4265b040.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-540-77050-3_22"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Behavioural Types: from Theory to Tools [chapter]

Simon Gay, António Ravara
<span title="">2017</span> <i title="River Publisher"> Behavioural Types: from Theory to Tools </i> &nbsp;
This aspect of session types makes them hard to implement in languages which do not have built-in notions of linearity and resource consumption in the type system.  ...  We then overview and compare the varying approaches to implementing session types with static linearity checks. We conclude with a discussion of the remaining open problems.  ...  This formal encoding was then combined with an approach for embedding effect systems in Haskell [10] to provide a new implementation of session-typed channels in Haskell.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13052/rp-9788793519817">doi:10.13052/rp-9788793519817</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bqdqi6o7i5btrnfkpaeyf7ntni">fatcat:bqdqi6o7i5btrnfkpaeyf7ntni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723080609/https://kar.kent.ac.uk/66632/1/RP_9788793519817C10.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/1b/87/1b87d1066cec6340fae2e98b4308ccd9df21ff63.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13052/rp-9788793519817"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Session Type Inference in Haskell

Keigo Imai, Shoji Yuen, Kiyoshi Agusa
<span title="2011-10-18">2011</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We present an inference system for a version of the Pi-calculus in Haskell for the session type proposed by Honda et al.  ...  The session type is very useful in checking if the communications are well-behaved.  ...  In [16] , it is stated that the automatic application of these operations is not possible without adding extra information in the symbol table and the answer for this problem is not shown.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.69.6">doi:10.4204/eptcs.69.6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wuuktetbafhb3ffatkn2a4of3m">fatcat:wuuktetbafhb3ffatkn2a4of3m</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1110.4163/1110.4163.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.69.6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Verifying Probabilistic Correctness in Isabelle with pGCL

David Cock
<span title="2012-11-26">2012</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
We motivate the applicability of the formalism to the mechanical verification of probabilistic security properties, including the effectiveness of side-channel countermeasures in real systems.  ...  Using a shallow embedding, we demonstrate close integration with existing automation support.  ...  As randomised scheduling is a common approach to side-channel mitigation, this is a promising approach to achieving our stated goal of formally establishing side-channel bounds in real systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.102.15">doi:10.4204/eptcs.102.15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/56qu3xr5onctxemgw2svlpq7zq">fatcat:56qu3xr5onctxemgw2svlpq7zq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130420182757/http://www.nicta.com.au/pub?doc=6313" 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/d7/19d76f8bbeadb7f77ab91927a1843131c53b7546.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.102.15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Zeno, Hercules and the Hydra: Downward Rational Termination Is Ackermannian [chapter]

Ranko Lazić, Joël Ouaknine, James Worrell
<span title="">2013</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;
The problem is also known to be equivalent to a fair termination problem for a class of channel machines with insertion errors.  ...  non-primitive recursive problems.  ...  We note however that this problem is at least as hard as the regular Post embedding problem (PEP reg ) [6] , and therefore not multiply recursive [7] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-40313-2_57">doi:10.1007/978-3-642-40313-2_57</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oaprbstnfjd2zcjmh2rrrcgjbu">fatcat:oaprbstnfjd2zcjmh2rrrcgjbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706102509/http://www.dcs.warwick.ac.uk/people/academic/Ranko.Lazic/zeno.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/7f/c0/7fc0825dd5a7dc7fcc70aa887e63e4c01b9362c4.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-40313-2_57"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Behaviour analysis and safety conditions: A case study in CML [chapter]

Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
<span title="">1998</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 describe a case study where novel program analysis technology has been used to pinpoint a subtle bug in a formally developed control program for an embedded system.  ...  Embedded systems, formal program development, program analysis. Accomplishments.  ...  Ravn for general discussions about the analysis of embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0053595">doi:10.1007/bfb0053595</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iktiyfthgncyjbqmwq7hlvh3ca">fatcat:iktiyfthgncyjbqmwq7hlvh3ca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705133055/http://people.cs.ksu.edu/~tamtoft/Papers/Nie+Amt+Nie:BAaSC-1998/short.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/61/4d/614d96b410adae8eded87b26cf7fe18e6d35a1d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0053595"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Session-ocaml: A Session-Based Library with Polarities and Lenses [chapter]

Keigo Imai, Nobuko Yoshida, Shoji Yuen
<span title="">2017</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;
This symbol table is represented at the type level, hence the channel c i is not a value, but a type which reflects an identity of the channel.  ...  V ; S are sending and receiving of a value type V with the continuation of S, respectively. end is the terminated session. μα.S is a recursive session which is equivalent to S[μα.S/α] (the type obtained  ...  The third author thanks the JSPS bilateral research with NFSC for fruitful discussion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-59746-1_6">doi:10.1007/978-3-319-59746-1_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tquwsdb5wzgzdfwajcrnxzdcpi">fatcat:tquwsdb5wzgzdfwajcrnxzdcpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501202622/http://spiral.imperial.ac.uk/bitstream/10044/1/63748/10/1-s2.0-S0167642318303289-main.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/9a/b5/9ab5a2bb284be6f5df9314b8417a7cab06a2f1b3.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-59746-1_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Parametric Ordinal-Recursive Complexity of Post Embedding Problems [chapter]

Prateek Karandikar, Sylvain Schmitz
<span title="">2013</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;
Post Embedding Problems are a family of decision problems based on the interaction of a rational relation with the subword embedding ordering, and are used in the literature to prove non multiply-recursive  ...  of primitive-recursive ones, and k<ω F ω k of multiply-recursive ones.  ...  Post Embedding Problems. (PEPs) have been introduced by Chambart and Schnoebelen [7] as a tool to prove the decidability of safety and termination problems in unreliable channel systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-37075-5_18">doi:10.1007/978-3-642-37075-5_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h7utsik3hfhobeysg62iddmpjm">fatcat:h7utsik3hfhobeysg62iddmpjm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190505121504/https://link.springer.com/content/pdf/10.1007%2F978-3-642-37075-5_18.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/07/63/076388f2c4346347a95fb35e3caf12c02bc03965.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-37075-5_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Software radio architecture: a mathematical perspective

J. Mitola
<span title="">1999</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/onirm7ye2bfobnpwuwaopap5yu" style="color: black;">IEEE Journal on Selected Areas in Communications</a> </i> &nbsp;
The bounded recursive functions, a subset of the total recursive functions, are shown to be the largest class of Turing-computable functions for which software radios exhibit provable stability in plug-andplay  ...  Understanding the topological properties of the software radio architecture promotes plug-and-play applications and cost-effective reuse.  ...  It is not considered primitive recursive, although it is a total function.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/49.761033">doi:10.1109/49.761033</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lys4vi3tobgm5kbphoewvjery4">fatcat:lys4vi3tobgm5kbphoewvjery4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060903015642/http://www.ece.jhu.edu/%7Ecooper/SWRadio/A%20Mathematical%20Perspective.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/f6/2c/f62c266e50b4e9377852cbc47d2ba10ca6bc8673.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/49.761033"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Behaviour Analysis and Safety Conditions: a Case Study in CML

Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
<span title="1997-10-01">1997</span> <i title="Aarhus University Library"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vl2v2lu6c5c6hhhrquezudynja" style="color: black;">DAIMI Report Series</a> </i> &nbsp;
We describe a case study where novel program analysis technology has been used to pinpoint a subtle bug in a formally developed control program for an embedded system.  ...  The main technology amounts to first defining a process algebra (called behaviours) suited to the programming language used (in our case CML) and secondly to devise an annotated type and effect system  ...  Ravn for general discussions about the analysis of embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v26i528.7057">doi:10.7146/dpb.v26i528.7057</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wgcudvrfdbefvkfkyceh6iusfi">fatcat:wgcudvrfdbefvkfkyceh6iusfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705133055/http://people.cs.ksu.edu/~tamtoft/Papers/Nie+Amt+Nie:BAaSC-1998/short.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/61/4d/614d96b410adae8eded87b26cf7fe18e6d35a1d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7146/dpb.v26i528.7057"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Core Model for Choreographic Programming [chapter]

Luís Cruz-Filipe, Fabrizio Montesi
<span title="">2017</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;
Despite strong interest on choreographies, a foundational model that explains which computations can be performed with the hallmark constructs of choreographies is still missing.  ...  In this work, we introduce Core Choreographies (CC), a model that includes only the core primitives of choreographic programming.  ...  Minimality of MC We proceed by showing that removing or simplifying a primitive of MC yields a calculus with a decidable termination problem -and thus not Turing complete. Basic primitives.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-57666-4_3">doi:10.1007/978-3-319-57666-4_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/evaksyhgijhelhmrdp65r6gjnq">fatcat:evaksyhgijhelhmrdp65r6gjnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190219180133/http://pdfs.semanticscholar.org/1c6c/dbf0e2c38f96edfbd1b557cddf1f1af2f988.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/1c/6c/1c6cdbf0e2c38f96edfbd1b557cddf1f1af2f988.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-57666-4_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Assisting Discussion Forum Users using Deep Recurrent Neural Networks

Jacob Hagstedt P Suorra, Olof Mogren
<span title="">2016</span> <i title="Association for Computational Linguistics"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/d5l3zg54ozfqjkdv3bwmxct5zu" style="color: black;">Proceedings of the 1st Workshop on Representation Learning for NLP</a> </i> &nbsp;
The assistant is trained to perform three different tasks when faced with a question from a user. Firstly, to recommend related posts. Secondly, to recommend other users that might be able to help.  ...  Thirdly, it recommends other channels in the forum where people may discuss related topics.  ...  You can see in the examples in Table 1 that using the LSTM state to represent forum posts results in a system that is able to generalize very well, which might be desirable or not depending on application  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18653/v1/w16-1606">doi:10.18653/v1/w16-1606</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rep4nlp/SuorraM16.html">dblp:conf/rep4nlp/SuorraM16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o3lgavqwofhprammyojnlqwx5y">fatcat:o3lgavqwofhprammyojnlqwx5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222091422/http://pdfs.semanticscholar.org/3444/ed2a536cfe02f20cc93586edacac9a6ad31a.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/34/44/3444ed2a536cfe02f20cc93586edacac9a6ad31a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18653/v1/w16-1606"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Player Collaboration in Virtual Environments using Hierarchical Task Network Planning [chapter]

Daniele Masato, Stuart Chalmers, Alun Preece
<span title="">2008</span> <i title="Springer London"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/46x3pqkj25d2fjn2giaqjrhvne" style="color: black;">Applications and Innovations in Intelligent Systems XV</a> </i> &nbsp;
or even dangerous to set up in real life, in particular when collaboration among humans is required in order to carry out a shared plan.  ...  The proposed system allows the tracking of progresses achieved by each plan participant within the planning domain, by mapping its steps to states and humans' actions in the virtual environment.  ...  This means that: • the planner is not forced to post an action only in response to a received event.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-84800-086-5_15">doi:10.1007/978-1-84800-086-5_15</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sgai/MasatoCP07.html">dblp:conf/sgai/MasatoCP07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iqp6rrismzdi5i2zubzxtj4rju">fatcat:iqp6rrismzdi5i2zubzxtj4rju</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110206064905/http://users.cs.cf.ac.uk:80/A.D.Preece/publications/download/ai2007a.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/08/44/084477d42457a18d6565311045c62bde2a6eb3a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-84800-086-5_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Multiparty Session Programming With Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen, Tobias Pape, Robert Hirschfeld
<span title="2020-11-06">2020</span> <i title="Schloss Dagstuhl - Leibniz-Zentrum für Informatik"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">European Conference on Object-Oriented Programming</a> </i> &nbsp;
The state-of-the-art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usage of communication channels and (2) external domain-specific languages for specifying  ...  To overcome these limitations, we propose a library for programming with global combinators - a set of functions for writing and verifying multiparty protocols in OCaml.  ...  This channel is passed to the send primitive, along with the payload value "pass". Then, let rebinds the name ch to the continuation returned by send and on Line 7 the channel is closed.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2020.9">doi:10.4230/lipics.ecoop.2020.9</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/ImaiNYY19.html">dblp:conf/ecoop/ImaiNYY19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cnzwqy4gqbhsln3ya477yjizgq">fatcat:cnzwqy4gqbhsln3ya477yjizgq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201210154031/https://drops.dagstuhl.de/opus/volltexte/2020/13166/pdf/LIPIcs-ECOOP-2020-9.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/47/f3/47f35b1417018e2a7d7d0cdb85cf86955908a87a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecoop.2020.9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Haskell session types with (almost) no class

Riccardo Pucella, Jesse A. Tov
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7v65k6c67beuveqr6z2ryoy2n4" style="color: black;">Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell &#39;08</a> </i> &nbsp;
It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in  ...  Our implementation works with existing Haskell concurrency mechanisms, handles multiple communication channels and recursive session types, and infers protocols automatically.  ...  Acknowledgments We wish to thank Ryan Culpepper, Elizabeth Magner, Stevie Strickland, and Sam Tobin-Hochstadt for their helpful comments, and Alec Heller in particular for his sharp eye and perpetual encouragement  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1411286.1411290">doi:10.1145/1411286.1411290</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/haskell/PucellaT08.html">dblp:conf/haskell/PucellaT08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sbx5bbzkpjd4lcjs4igkhh6jja">fatcat:sbx5bbzkpjd4lcjs4igkhh6jja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150423203804/http://www.eecs.harvard.edu/%7Etov/pubs/haskell-session-types/session08.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/16/71/16719e5adb19fa5d15ccb6186c3108287e8add2d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1411286.1411290"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 3,848 results