MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On Relating Some Models for Concurrency." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 23 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • On Relating Some Models for Concurrency  
  • by Pierpaolo Degano, Roberto Gorrieri, Sebastiano Vigna — 1993 — TAPSOFT'93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science
  • …On Relating Some Models for Concurrency Pierpaolo Degano Roberto Gorrieri Sebastiano Vigna…
  • Cited by 13 (1 self) – Add To MetaCart
  • Parallel Computing in Networks of Workstations with Paralex  
  • by Renzo Davoli, Luigi Alberto Giachini, Özalp Babaoglu, Ozalp Babao Glu, Alessandro Amoroso, Lorenzo Alvisi, Piazza Porta, S. Donato — 1994 — IEEE Transactions on Parallel and Distributed Systems
  • …. Vitali, October 1993. 93-25 On Relating Some Models for Concurrency, P. Degano, R. Gorrieri, S. Vigna…
  • Cited by 6 (1 self) – Add To MetaCart
  • The Clepsydra Methodology  
  • by Paolo Ciancarini, Paolo Ciancarini, Wilma Penzo, Piazza Porta, S. Donato — 1995
  • … in Hypertext Systems, C. Maioli, S. Sola, F. Vitali, October 1993. 93-25 On Relating Some Models…
  • Add To MetaCart
  • Effective Applicative Structures  
  • by Andrea Asperti, Agata Ciabattoni, Piazza Porta, S. Donato — 1995 — In: Proceedings of the 6th biennial conference on Category Theory in Computer Science (CTCS'95). Springer-Verlag Lecture Notes in Computer Science 953 81--95
  • … in Hypertext Systems, C. Maioli, S. Sola, F. Vitali, October 1993. 93-25 On Relating Some Models…
  • Cited by 4 (0 self) – Add To MetaCart
  • MPA: a Stochastic Process Algebra  
  • by Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri, Piazza Porta, S. Donato — 1994
  • …-25 On Relating Some Models for Concurrency, P. Degano, R. Gorrieri, S. Vigna, October 1993. 93-26 Axiomatising ST…
  • Cited by 16 (2 self) – Add To MetaCart
  • A Theory of Processes with Durational Actions  
  • by Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano, Piazza Porta, S. Donato — 1994 — Theoretical Computer Science
  • …-25 On Relating Some Models for Concurrency, P. Degano, R. Gorrieri, S. Vigna, October 1993. 93-26 Axiomatising ST…
  • Cited by 19 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB