Filters








5,101 Hits in 3.7 sec

A congruence theorem for structured operational semantics with predicates [chapter]

J. C. M. Baeten, C. Verhoef
<span title="">1993</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 proposed a syntactical format, the path format, for structured operational semantics in which predicates may o c c u r .  ...  W e proved that strong bisimulation is a congruence for all the operators that can be de ned within the path format.  ...  Acknowledgements We w ant to thank Frits Vaandrager for pointing out a redundancy in an earlier version of the proof of theorem (5.4).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-57208-2_33">doi:10.1007/3-540-57208-2_33</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ch37fhovlrhazhbcbxvdfdu24y">fatcat:ch37fhovlrhazhbcbxvdfdu24y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190226033610/http://pdfs.semanticscholar.org/7830/f9ab2b34e252f2ceab290b76efc78907c040.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/78/30/7830f9ab2b34e252f2ceab290b76efc78907c040.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-57208-2_33"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A congruence theorem for structured operational semantics with predicates and negative premises [chapter]

C. Verhoef
<span title="">1994</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 proposed a syntactic format, the panth format, for structured operational semantics in which besides ordinary transitions also predicates, negated predicates, and negative transitions may occur such  ...  that if the rules are strati able, strong bisimulation equivalence is a congruence for all the operators that can be de ned within the panth format.  ...  Thanks to the referees for their valuable comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-48654-1_32">doi:10.1007/978-3-540-48654-1_32</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/76kbphtdcfba5e5robvixmj6ka">fatcat:76kbphtdcfba5e5robvixmj6ka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190221234848/http://pdfs.semanticscholar.org/2f08/f17d874fdb2c4162b322882f2f844756dd9f.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/2f/08/2f08f17d874fdb2c4162b322882f2f844756dd9f.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-48654-1_32"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A congruence theorem for structured operational semantics with predicates and negative premises [chapter]

C. Verhoef
<i title="Springer Berlin Heidelberg"> CONCUR &#39;94: Concurrency Theory </i> &nbsp;
AckllowledgClllcuts Thanks to Jos Baet.en, Inge Bet.hke, Frank de Doel'l Roland Bol, Jan Friso Groote, Hans Mulder, and Frits Vaandrager for valuable comment.s and int.erest.ing discussions.  ...  Conclusions and future work In this paper we present.cd a synt.actical format , the pantll format I for structured operational semantics with predicates and negat.  ...  However, Baeten and Verhoef [SJ show for an operational semantics of Van Glabbeek [13] for ACP wit.h abstraction that rooted weak bisimulation is a congruence with the aid of their congruence theorem  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0015024">doi:10.1007/bfb0015024</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hdmw7lkme5cptlgq7ioogoxi5e">fatcat:hdmw7lkme5cptlgq7ioogoxi5e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722222532/https://pure.tue.nl/ws/files/2165299/9314334.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/e3/7fe387365ca8660bbd03b5d0f2dc0a49800ed3e5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0015024"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards machine-checked compiler correctness for higher-order pure functional languages [chapter]

David Lester, Sava Mintchev
<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;
The proof has been constructed with the help of a generic theorem prover | Isabelle. The major part of the problem lies in establishing the existence of predicates which describe the congruence.  ...  An extended version of the lambdacalculus is considered, and the congruence between its direct and continuation semantics is proved.  ...  Plotkin's structural operational semantics, or a concrete abstract machine) in place of a continuation semantics. { Lazy data structures and in particular the problem of in nite streams of output. { Graph  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0022269">doi:10.1007/bfb0022269</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mc7nfqmonvf4filefi746rfuby">fatcat:mc7nfqmonvf4filefi746rfuby</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190226012704/http://pdfs.semanticscholar.org/76ea/28dccd1441055d62048fcb5601a1e4404afd.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/ea/76ea28dccd1441055d62048fcb5601a1e4404afd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0022269"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Hierarchy of SOS Rule Formats

Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
<span title="">2006</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;
In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules of a certain shape [62] .  ...  This has resulted in a line of research proposing several syntactical rule formats and associated meta-theorems.  ...  Introduction Structural Operational Semantics has become the common way to define operational semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.11.077">doi:10.1016/j.entcs.2005.11.077</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/udiptsaipbbibpfmtd3ey32xya">fatcat:udiptsaipbbibpfmtd3ey32xya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080419000747/http://www.win.tue.nl/~mousavi/sos05_invited.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/30/833008e15bae8bc121d97904c22a2c1a71b66b8e.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.2005.11.077"> <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>

The congruence of two programming language definitions

Joseph E. Stoy
<span title="">1981</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;
A denotational semantics btased on the use of continuations (as described by Strachey and Wadsworth [M]) would have a structure much closer to the interpreter's, and the proof of their congruence would  ...  -. course notes [219 we halve described several metho& of formally defining the semantics of a programming language" using as an example a simple language designed for the purpose, called PL.  ...  Similar P ork hais beea carried out by Reynolds [ll] , who showed the congruence of versions of denotational semantics with and without continuations for a form of the A -calculus.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(81)90037-2">doi:10.1016/0304-3975(81)90037-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ofwf77sejndi7fwwr525j5dp4i">fatcat:ofwf77sejndi7fwwr525j5dp4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190330153945/https://core.ac.uk/download/pdf/82027472.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/a3/93/a393fd0198a8d65f0ec74b101604d6875c9994ae.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(81)90037-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Congruence for Structural Congruences [chapter]

MohammadReza Mousavi, Michel A. Reniers
<span title="">2005</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;
This way, we extend a number of well-behavedness meta-theorems for SOS (such as well-definedness of the semantics and congruence of bisimilarity) to the extended setting with structural congruences.  ...  They have been used as an addendum to transition system specifications in Plotkin's style of Structural Operational Semantics (SOS).  ...  In other words, we extend the notion of structured operational semantics [8, 7] to cater for structural congruences.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-31982-5_3">doi:10.1007/978-3-540-31982-5_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cpdawydtdrd3zfirkap7erabse">fatcat:cpdawydtdrd3zfirkap7erabse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080418212428/http://www.win.tue.nl/~mousavi/fossacs05.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/d6/7d/d67d918f7a40c0b4814363d6fe704ec1c3ca803f.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-31982-5_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

SOS formats and meta-theory: 20 years after

MohammadReza Mousavi, Michel A. Reniers, Jan Friso Groote
<span title="">2007</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;
In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules of a certain shape [G.D.  ...  Plotkin, A structural approach to operational semantics, Technical Report DAIMI ]. Subsequently, the format of SOS rules became the object of study.  ...  Introduction Structural Operational Semantics [114, 115, 68] has become the common way to define operational semantics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.12.019">doi:10.1016/j.tcs.2006.12.019</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cevfdbpyqfctpawad55lw3aiyu">fatcat:cevfdbpyqfctpawad55lw3aiyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190417025703/https://core.ac.uk/download/pdf/82664330.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/d1/e6/d1e6add464140a0654d4919970ed68a0e858fb4c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.tcs.2006.12.019"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

SOS for Higher Order Processes [chapter]

MohammadReza Mousavi, Murdoch J. Gabbay, Michel A. Reniers
<span title="">2005</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 lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes.  ...  Furthermore, we propose and prove a congruence format for a notion of higher order bisimilarity arising naturally from our SOS framework.  ...  This question has been addressed in a great depth and breadth for languages endowed with a Structural Operational Semantics (SOS) [17] (see [1] for an overview).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11539452_25">doi:10.1007/11539452_25</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/egugeogxsjh3reacuo4bfuvfe4">fatcat:egugeogxsjh3reacuo4bfuvfe4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160913045610/http://www.gabbay.org.uk/papers/soshop.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/3c/8b/3c8ba71453a136bfc86775b0e46de4cbf0df8342.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11539452_25"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 2838 of Mathematical Reviews Vol. , Issue 89E [page]

<span title="">1989</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;
Apart from more conventional syntactical operators and their semantic counterparts, we encounter unconventional ones, dealing with the typical graphical structure of the language.  ...  The denotational semantics operator introduced to get fixed points is not continuous (as happened with other theories) and this is one of the reasons for complications.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1989-05_89e/page/2838" 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_1989-05_89e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 3047 of Mathematical Reviews Vol. , Issue 2002E [page]

<span title="">2002</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;
The type of a covering pair provides information about the local structure of A with respect to the covering pair.  ...  The authors also study a preorder on semantics of equality that includes weak semantics, Evans semantics, Kleene’s semantics and strong semantics.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2002-05_2002e/page/3047" 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_2002-05_2002e/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory [chapter]

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano
<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 recently introduced Coalgebraic Predicate Logic (CPL) provides a general first-order syntax together with extra modal-like operators that are interpreted in a coalgebraic setting.  ...  The interpretation of CPL in coalgebras for arbitrary Set-functors is parametric in the notion of predicate lifting; if Λ is a supply of modal operators, then the supply of functors and predicate liftings  ...  For a similarity type Λ = { } containing a single unary operator, neighbourhood semantics is captured coalgebraically by the Λ-structure N = Q • Q together with the predicate lifting defined by X (A) =  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36976-6_16">doi:10.1007/978-3-642-36976-6_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uoxalgjfsjeaphzqhzvu6t3xty">fatcat:uoxalgjfsjeaphzqhzvu6t3xty</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809153526/http://users.cecs.anu.edu.au/~dpattinson/Publications/tbillc2011.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/40/29/4029b10501490c96450db8f1a771e3cfaec127c0.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-36976-6_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 Construction of Sorted Reactive Systems [chapter]

Lars Birkedal, Søren Debois, Thomas Hildebrandt
<span title="">2008</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;
As such, we give also a construction of sortings for ordinary reactive systems.  ...  In turn, every such application has required a redevelopment of the theory of pure bigraphical reactive systems for the sorting at hand. Here we present a general construction of sortings.  ...  We answer Question 1 by giving a sufficient condition for a sorting of a reactive system to sustain the behavioural theory of the well-sorted parts of the original system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-85361-9_20">doi:10.1007/978-3-540-85361-9_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fjmdmxigsbbrfdujqy7eiydjpi">fatcat:fjmdmxigsbbrfdujqy7eiydjpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811130931/http://www.it-c.dk/people/debois/pubs/concur08.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/5d/89/5d89254ec65b3e29769ee4e4986b5f1d17c79e9c.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-85361-9_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Page 4351 of Mathematical Reviews Vol. , Issue 96g [page]

<span title="">1996</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;
= = a aS wre wees ST oe ee 4351 68Q Theory of computing 96g:68072 68Q55 Verhoef, Chris (NL-EIND; Eindhoven) A congruence theorem for structured operational semantics with predicates and negative premises  ...  Summary: “We propose a syntactic format, the panth format, for structured operational semantics in which ordinary transitions as well as predicates, negated predicates, and negative transitions may occur  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1996-07_96g/page/4351" 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_1996-07_96g/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 22 of Mathematical Reviews Vol. , Issue 2002A [page]

<span title="">2002</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;
Symbolic Logic 66 (2001), no. 1, 414-439 Summary: “A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames).  ...  ., Dordrecht, 1996 lhe authors discuss two basic procedures for axiomatization of a theory: the Bourbaki concept of a species of structures and Suppes predicates.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2002-01_2002a/page/22" 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_2002-01_2002a/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 5,101 results