Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

ReSpecT

From MaRDI portal
Software:55946
Jump to:navigation, search



swMATH40246MaRDI QIDQ55946FDOQ55946


Author name not available (Why is that?)




Described by source

  • From tuple spaces to tuple centres


Cited In (11)

  • On the expressiveness of multiplicities in data-based coordination languages
  • Twenty years of rewriting logic
  • Formal ReSpecT
  • From distributed coordination to field calculus and aggregate computing
  • Symbolic execution of Reo circuits using constraint automata
  • On the collective sort problem for distributed tuple spaces
  • Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
  • simpA: an agent-oriented approach for programming concurrent applications on top of Java
  • The ARC Programming Model – Language Constructs for Coordination
  • Comparing three coordination models: Reo, ARC, and PBRD
  • Process-algebraic approaches for multi-agent systems: an overview


This page was built for software: ReSpecT

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:55946&oldid=29540646"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 5 March 2024, at 21:07. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki