A formal library of set relations and its application to synchronous languages

DOI10.1016/J.TCS.2011.01.027zbMATH Open1229.68051OpenAlexW2131622288MaRDI QIDQ654904

Camilo Rocha, Gilles Dowek, César Muñoz

Publication date: 23 December 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.01.027

zbMATH Keywords

synchronous languagesset relationssmall-step semanticsplan executionrewriting logic semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The gamma model and its discipline of programming
• The rewriting logic semantics project
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Statecharts: a visual formalism for complex systems
• Conditional rewriting logic as a unified model of concurrency
• The chemical abstract machine
• Equational rules for rewriting logic
• A structural approach to operational semantics
• Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions
• Defining and Executing P Systems with Structured Data in K

Related Items (1)

Simulation and Verification of Synchronous Set Relations in Rewriting Logic

Recommendations

• A relational semantics for parallelism and non-determinism in a functional setting 👍 👎
• Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators 👍 👎
• Simulation and Verification of Synchronous Set Relations in Rewriting Logic 👍 👎
• A programming language for the inductive sets, and applications 👍 👎
• Isabelle Formalization of Set Theoretic Structures and Set Comprehensions 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: A formal library of set relations and its application to synchronous languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654904)