Q2851057 (Q2851057): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 21:56, 6 July 2024

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

Mark-Oliver Stehr

0 references

Carolyn L. Talcott

0 references

publication date

2 October 2013

0 references

full work available at URL

http://www.sciencedirect.com/science/article/pii/S1571066105825381

0 references

describes a project that uses

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

A foundation for actor computation

0 references

Maude: specification and programming in rewriting logic

0 references

0 references

The revised report on the syntactic theories of sequential control and state

0 references

0 references

A variable typed logic of effects

0 references

0 references

Actor languages. Their syntax, semantics, translation, and equivalence

0 references

0 references

Conditional rewriting logic as a unified model of concurrency

0 references

Specification diagrams for actor systems

0 references

0 references

0 references

From syntactic theories to interpreters: Automating the proof of unique decomposition

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2851057

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2851057&oldid=35354473"