A formal library of set relations and its application to synchronous languages
type: Item
instance of: scholarly article
title: A formal library of set relations and its application to synchronous languages
zbMATH Open document ID: 1229.68051
author: Camilo Rocha
author: Gilles Dowek
author: César Muñoz
published in: Theoretical Computer Science
publication date: 2011-12-23T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5991563
zbMATH Keywords: set relations
zbMATH Keywords: synchronous languages
zbMATH Keywords: small-step semantics
zbMATH Keywords: rewriting logic semantics
zbMATH Keywords: plan execution
describes a project that uses: Maude
describes a project that uses: PVS
describes a project that uses: Esterel
describes a project that uses: LUSTRE
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.01.027
OpenAlex ID: W2131622288
cites work: The gamma model and its discipline of programming
cites work: Q4513619
cites work: The chemical abstract machine
cites work: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
cites work: Q4385532
cites work: Statecharts: a visual formalism for complex systems
cites work: Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions
cites work: Q4484500
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q4762648
cites work: The rewriting logic semantics project
cites work: A structural approach to operational semantics
cites work: Defining and Executing P Systems with Structured Data in K
cites work: Equational rules for rewriting logic
DOI: 10.1016/J.TCS.2011.01.027
Recommended article: Simulation and Verification of Synchronous Set Relations in Rewriting Logic
Recommended article: Q3727355
Recommended article: Isabelle Formalization of Set Theoretic Structures and Set Comprehensions
Recommended article: A relational semantics for parallelism and non-determinism in a functional setting
Recommended article: Q4484500
Recommended article: Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators
Recommended article: Q4786009
Recommended article: A programming language for the inductive sets, and applications
Recommended article: Q3490940
description: scientific article; zbMATH DE number 5991563