SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Aceto Luca) ;mspu:(proceedings)"

Sökning: WFRF:(Aceto Luca) > Proceedings (redaktörskap)

  • Resultat 1-2 av 2
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Proceedings First International Workshop on Process Algebra and Coordination
  • 2011
  • Proceedings (redaktörskap) (övrigt vetenskapligt/konstnärligt)abstract
    • Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages. The aim of this workshop was to push the state of the art in the study of the connections between process algebra and coordination languages by bringing together experts as well as young researchers from the two fields to communicate their ideas and findings. It includes both contributed and invited papers that have been presented during the one day meeting on Process Algebra and Coordination (PACO 2011) which took place on June 9, 2011 in Reykjavik, Iceland.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-2 av 2
Typ av publikation
proceedings (redaktörskap)  (2)Ta bort avgränsningen
Typ av innehåll
övrigt vetenskapligt/konstnärligt (2)
Författare/redaktör
Aceto, Luca (2)
Mousavi, Mohammad Re ... (1)
Victor, Björn (1)
Lärosäte
Uppsala universitet (1)
Högskolan i Halmstad (1)
Språk
Engelska (2)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy