A conservative look at operational semantics with variable binding
type: Item
instance of: scholarly article
title: A conservative look at operational semantics with variable binding
zbMATH Open document ID: 0916.68098
author: Chris Verhoef
author: Wan Fokkink
published in: Information and Computation
publication date: 1999-01-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1236464
zbMATH Keywords: transition system specifications
describes a project that uses: Nuprl
MaRDI profile type: Publication
OpenAlex ID: W2019447115
cites work: Q3999188
cites work: Real time process algebra
cites work: Recursive process definitions with the state operator
cites work: Discrete time process algebra
cites work: Q4857386
cites work: Process Algebra
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Structural operational semantics for weak bisimulations
cites work: Bisimulation can't be traced
cites work: The meaning of negative premises in transition system specifications
cites work: Model theory.
cites work: Axiomatising real-timed processes
cites work: A general conservative extension theorem in process algebras with inequalities
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: An effective axiomatization for real time ACP
cites work: The well-founded semantics for general logic programs
cites work: Q4818861
cites work: Transition system specifications with negative premises
cites work: Q4312484
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Q3997501
cites work: A fully abstract denotational model for higher-order processes
cites work: A theory of communicating processes with value passing
cites work: Q3777424
cites work: Proving congruence of bisimulation in functional programming languages
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: The algebra of timed processes, ATP: Theory and application
cites work: Q3486858
cites work: The lazy lambda calculus in a concurrency scenario
cites work: πI: A symmetric calculus based on internal mobility
cites work: An operational semantics for timed CSP
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Substitution revisited
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q4847024
cites work: Q4036565
cites work: Q4201910
DOI: 10.1006/INCO.1998.2729
description: scientific article; zbMATH DE number 1236464