ReSpecT

ReSpecT (Reaction Specification Tuples) is a logic-based coordination language enabling tuple space programming

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 21 articles , 1 standard article )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Giovanni Ciatto, Roberta Calegari, Andrea Omicini: 2P-Kt: A logic-based ecosystem for symbolic AI (2021) not zbMATH
  2. Darquennes, Denis; Jacquet, Jean-Marie; Linden, Isabelle: On the expressiveness of multiplicities in data-based coordination languages (2020)
  3. Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo: From distributed coordination to field calculus and aggregate computing (2019)
  4. Mariani, Stefano; Omicini, Andrea: Event-driven programming for situated MAS with respect tuple centres (2013) ioport
  5. Nardini, Elena; Omicini, Andrea; Viroli, Mirko: Semantic tuple centres (2013) ioport
  6. Meseguer, José: Twenty years of rewriting logic (2012)
  7. Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad: Symbolic execution of Reo circuits using constraint automata (2012)
  8. Ricci, Alessandro; Piunti, Michele; Viroli, Mirko: Environment programming in multi-agent systems: an artifact-based perspective (2011) ioport
  9. Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio: simpA: an agent-oriented approach for programming concurrent applications on top of Java (2011)
  10. Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping: Comparing three coordination models: Reo, ARC, and PBRD (2011)
  11. Bromuri, Stefano; Urovi, Visara; Stathis, Kostas: Game-based e-retailing in GOLEM agent environments (2009) ioport
  12. Casadei, Matteo; Viroli, Mirko; Gardelli, Luca: On the collective sort problem for distributed tuple spaces (2009)
  13. Marth, Kevin; Ren, Shangping: The ARC programming model -- language constructs for coordination (2009)
  14. Yu, Yue; Ren, Shangping; Talcott, Carolyn: Coordinating asynchronous and open distributed systems under semiring-based timing constraints (2009)
  15. Cabri, Giacomo; Ferrari, Luca; Rubino, Rossella: Building computational institutions for agents with rolex. (2008) ioport
  16. Casadei, Matteo; Omicini, Andrea; Viroli, Mirko: Prototyping A&A ReSpecT in Maude (2008) ioport
  17. Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko: Artifacts in the A&A meta-model for multi-agent systems. (2008) ioport
  18. Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko: Time-aware coordination in respect (2005) ioport
  19. Viroli, Mirko; Omicini, Andrea: Process-algebraic approaches for multi-agent systems: an overview (2005)
  20. Omicini, Andrea; Denti, Enrico: Formal \textsfReSpecT (2001)

1 2 next


Further publications can be found at: https://apice.unibo.it/xwiki/bin/view/ReSpecT/Publications