Filters








4,985 Hits in 6.8 sec

Page 5676 of Mathematical Reviews Vol. , Issue 93j [page]

<span title="">1993</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;
It is illustrated how this duality allows one to improve current procedures for both abduction and model generation by transferring technical results known for one of these computational paradigms to the  ...  Summary: “We present a duality relationship between abduction for definite abductive programs and model generation on the only- if part of these programs.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1993-10_93j/page/5676" 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_1993-10_93j/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Interactive foundations of computing

Peter Wegner
<span title="">1998</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;
Part I of this paper examines extensions to interactive models for algorithms, machines, grammars, and semantics, while Part II considers the expressiveness of different forms of interaction.  ...  Interactive identity machines are already more powerful than Turing machines, while noninteractive parallelism and distribution are algorithmic.  ...  The observation structures of [5] Structured operational semantics (SOS) specifies behavior at the wrong level of abstraction, since intensional structures are inadequate as a scaffolding for expressing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(97)00154-0">doi:10.1016/s0304-3975(97)00154-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jfv7xn5nlveqjagut2rkidjdem">fatcat:jfv7xn5nlveqjagut2rkidjdem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926214258/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/45c/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzU5NzAwMTU0MA%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/75/25/7525de171e0be4e764369f821e83566a2b34bd14.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(97)00154-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Intensionality, Definability and Computation [chapter]

Samson Abramsky
<span title="">2014</span> <i title="Springer International Publishing"> Outstanding Contributions to Logic </i> &nbsp;
In particular, we review how game semantics has been used to characterize the sequential functional processes, leading to powerful and flexible methods for constructing fully abstract models of programming  ...  In a broader context, we can regard game semantics as a first step towards developing a positive theory of intensional structures with a robust mathematical structure, and finding the right notions of  ...  The Game Semantics Landscape Game semantics has proved to be a flexible and powerful paradigm for constructing highly structured fully abstract semantics for languages with a wide range of computational  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-06025-5_5">doi:10.1007/978-3-319-06025-5_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5y626llspzdm3pknbityb6kpgi">fatcat:5y626llspzdm3pknbityb6kpgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302084925/http://pdfs.semanticscholar.org/a085/fbb600cabd0a38545f5771244908e6d2eaba.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/a0/85/a085fbb600cabd0a38545f5771244908e6d2eaba.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-06025-5_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Contents and abstracts of the electronic notes in theoretical computer science vol. 6

<span title="">1998</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;
We define a space of abstract valuations which for a continuous dcpo X is homeomorphic to the Plotkin power domain of X, and for a Hausdorff space X yields the Vietoris hyperspace of X.  ...  This is further evidence in favor of the orthogonal&y of procedures and concurrency, and also shows that the shared-variable and communication-based paradigms have a lot in common, semantically.  ...  Failures, finiteness and full abstraction http://www.elsevier.nl/locate/entcs/volume6.html For a simple CCS-like language a trace semantics and a failure semantics are presented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(98)90019-6">doi:10.1016/s0304-3975(98)90019-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cmxyrjlnjjae7gtbakg6dufkya">fatcat:cmxyrjlnjjae7gtbakg6dufkya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924073815/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/10c/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDMwNDM5NzU5ODkwMDE5Ng%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/49/0f/490f34ad15560c6e6f169245a46dd0ff335879b5.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(98)90019-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Whither Semantics? [article]

Samson Abramsky
<span title="2020-10-23">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We discuss how mathematical semantics has evolved, and suggest some new directions for future work.  ...  For brevity, we can call these Structure and Power. Structure Compositionality and semantics, addressing the question of mastering the complexity of computer systems and software.  ...  This paradigm has proved extremely fruitful, leading to many new questions and developments. A vision for mathematical semantics?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.13328v1">arXiv:2010.13328v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/crfp4vez2vcnzoe2phm6ejur6a">fatcat:crfp4vez2vcnzoe2phm6ejur6a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201029124456/https://arxiv.org/pdf/2010.13328v1.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/fe/aa/feaa3577eef89aaaf3f907312ef85b0a695af8c2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.13328v1" 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>

Quantum programming: From theories to implementations

MingSheng Ying, Yuan Feng, RunYao Duan, YangJia Li, NengKun Yu
<span title="">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/x7kuydsydvhafcnko5u5pmhfvu" style="color: black;">Chinese Science Bulletin</a> </i> &nbsp;
This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and  ...  Several verification methods for quantum programs and communication protocols are also reviewed.  ...  This can be seen as a theoretical support to the structural programming paradigm for quantum computers pursued byÖmer [12].  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11434-012-5147-6">doi:10.1007/s11434-012-5147-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zd2p2usng5hu7nztpo3wzgefqa">fatcat:zd2p2usng5hu7nztpo3wzgefqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171114231415/http://publisher-connector.core.ac.uk/resourcesync/data/Springer-OA/pdf/f0e/aHR0cDovL2xpbmsuc3ByaW5nZXIuY29tLzEwLjEwMDcvczExNDM0LTAxMi01MTQ3LTYucGRm.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/83/22/8322fb58e7741562e795ea6acfcdd5fdad9d012f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11434-012-5147-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Quantum weakest preconditions

ELLIE D'HONDT, PRAKASH PANANGADEN
<span title="">2006</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jdpukxfslnfmradqb65llq43na" style="color: black;">Mathematical Structures in Computer Science</a> </i> &nbsp;
We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest precondition semantics.  ...  We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation.  ...  This research was funded by the FWO (Flanders) for the first author; for the second author in part by a grant from NSERC (Canada) and in part by a visiting fellowship from EPSRC (U.K.).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129506005251">doi:10.1017/s0960129506005251</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lmspzaalerar3ab44voq5gaolm">fatcat:lmspzaalerar3ab44voq5gaolm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190227035657/http://pdfs.semanticscholar.org/7659/6470420479c5ded2f3ccfc73abc93d17d0e4.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/76/59/76596470420479c5ded2f3ccfc73abc93d17d0e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0960129506005251"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Contents and abstracts of the electronic notes in theoretical computer science vol. 3

<span title="">1998</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;
The Linear Logic 96 Tokyo Meeting provided a forum for an exchange of research results and a discussion of the future directions in the field.  ...  This material and the volumes in the series will be available via Elsevier Science's World Wide Web server, which can be accessed at the URL Linearity, Sharing and State: a fully abstract game semantics  ...  We present a novel semantics for Idealized Algol using games, which is quite unlike traditional denotational models of state.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(97)00246-6">doi:10.1016/s0304-3975(97)00246-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2skydvbtyvdq3mmxtqwo2hncgi">fatcat:2skydvbtyvdq3mmxtqwo2hncgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190415003301/https://core.ac.uk/download/pdf/81203228.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/cd/49/cd49e6015efd2a0e6e9706930db2b3c133b67c7c.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(97)00246-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

What is Behind UML-RT? [chapter]

Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefănescu
<span title="">1999</span> <i title="Springer US"> Behavioral Specifications of Businesses and Systems </i> &nbsp;
This standard is currently tuned for real time applications in the form of a new proposal, UML for Real-Time (UML-RT), by Rational Software Corporation and ObjecTime Limited.  ...  In a previous paper (see [GBSS98] ) we presented part of this foundation, namely the theory of flow graphs. In this paper we use flow graphs to define the more powerful theory of interaction graphs.  ...  (see [AHM + 98]) for modular model checking.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-5229-1_6">doi:10.1007/978-1-4615-5229-1_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b763y6orxrajbovovzx5qi7zri">fatcat:b763y6orxrajbovovzx5qi7zri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709181646/https://ti.tuwien.ac.at/cps/people/grosu/files/bsbs99.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/90/94/90944bb302085178fd93631ae09c1431fa0bad71.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-4615-5229-1_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 3621 of Mathematical Reviews Vol. , Issue 2000e [page]

<span title="">2000</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;
Summary: “This paper focuses on the use of linear logic as a spec- ification language for the operational semantics of advanced con- cepts of programming such as concurrency and object-orientation.  ...  [Martelli, Maurizio] (I-GENO-IF; Genoa) A specification logic for concurrent object-oriented programming. (English summary) Math. Structures Comput. Sci. 9 (1999), no. 3, 253-286.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2000-05_2000e/page/3621" 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_2000-05_2000e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

From CSP to Game Semantics [chapter]

Samson Abramsky
<span title="">2010</span> <i title="Springer London"> Reflections on the Work of C.A.R. Hoare </i> &nbsp;
These provide a basis for fully abstract models of a wide range of programming languages, and lead on to algorithmic methods, with applications to compositional model-checking and program analysis.  ...  This leads ultimately to the elaboration of mathematically well-structured and behaviourally expressive semantic universes for computation.  ...  Acknowledgements My thanks to Bill Roscoe and Paul Levy for their comments on an earlier version of this paper, which led to several clarifications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-84882-912-1_2">doi:10.1007/978-1-84882-912-1_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kgawr6jc6rejrk5nrdxwnm2ici">fatcat:kgawr6jc6rejrk5nrdxwnm2ici</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808213737/http://www.beck-shop.de/fachbuch/leseprobe/9781848829114_excerpt_002.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/94/20/9420e9d839c6ea1e9a9355a9f1f0ddbb47383db7.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-84882-912-1_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures [article]

Mai Gehrke, Tomas Jakl, Luca Reggio
<span title="2020-07-30">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
) these tools to unify the 'power' and 'structure' strands in computer science.  ...  In particular, we focus on the use of (i) topological duality methods to solve problems in logic and computer science; (ii) category theory and, more particularly, free (and co-free) constructions; (iii  ...  category theory and Stone duality have long been central tools in semantics of programming languages.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.15415v1">arXiv:2007.15415v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d7fs2d66tffg3m7o5ob6xz6tt4">fatcat:d7fs2d66tffg3m7o5ob6xz6tt4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200822194356/https://arxiv.org/pdf/2007.15415v1.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/db/ee/dbee09065b76f2d417fa00a77269b52fc8472a66.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2007.15415v1" 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>

Towards automating duality

C. Brink, D.M. Gabbay, H.J. Ohlbach
<span title="">1995</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nkrwe4pmozafvnd72yxufztpku" style="color: black;">Computers and Mathematics with Applications</a> </i> &nbsp;
Dualities between different theories occur frequently in mathematics and logic-between syntax and semantics of a logic, between structures and power structures, between relations and relational algebras  ...  In this paper, we show for the case of structures and power structures how corresponding properties of the two related structures can be computed fully automatically by means of quantifier elimination  ...  and power structures (duality theory) are almost identical.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0898-1221(94)00217-9">doi:10.1016/0898-1221(94)00217-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bivp2qanjvdbjimcr4w3iay2ny">fatcat:bivp2qanjvdbjimcr4w3iay2ny</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170928085544/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/62c/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wODk4MTIyMTk0MDAyMTc5.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/8d/078d3e8e0eb1b7d6aa9ef0ea01ea91c2d986508f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0898-1221(94)00217-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Proofs as processes

Samson Abramsky
<span title="">1994</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;
for functional languages; and indeed to integrate the two paradigms into a single, unified theory.  ...  The motivation was twofold: l To lay the foundation for a useful discipline of typed concurrent programming. l To provide the basis for a more structural view of concurrency, comparable to what we have  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(94)00103-0">doi:10.1016/0304-3975(94)00103-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xt4676amprebhpfhhs75afhghe">fatcat:xt4676amprebhpfhhs75afhghe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190328045746/https://core.ac.uk/download/pdf/81947233.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/83/8f/838f4532ae4765d2cda50bf5994ff399d35a92b5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(94)00103-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Quantum Weakest Preconditions [article]

Ellie D'Hondt, Prakash Panangaden
<span title="2006-02-23">2006</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We show that there is a Stone-type duality between the usual state-transformer semantics and the weakest precondition semantics.  ...  We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation.  ...  Acknowledgements It is a pleasure to thank Samson Abramsky, Bob Coecke, Elham Kashefi and Peter Selinger for helpful discussions. Comments by the referees were very helpful.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/quant-ph/0501157v2">arXiv:quant-ph/0501157v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/42qlhptlivhx3ap2rrqr3p6dfe">fatcat:42qlhptlivhx3ap2rrqr3p6dfe</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-quant-ph0501157/quant-ph0501157.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/quant-ph/0501157v2" 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>
&laquo; Previous Showing results 1 &mdash; 15 out of 4,985 results