<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Behavioral theory for session-oriented calculi"^^ . "\r\n\r\nThis chapter presents the behavioral theory of some of the Sensoria core calculi. We consider SSCC, μ se and CC as representatives of the session-based approach and COWS as representative of the correlation-based one.\r\n\r\nFor SSCC, μ se and CC the main point is the structure that the session/conversation mechanism creates in programs. We show how the differences between binary sessions, multiparty sessions and dynamic conversations are captured by different behavioral laws. We also exploit those laws for proving the correctness of program transformations.\r\n\r\nFor COWS the main point is that communication is prioritized (the best matching input captures the output), and this has a strong influence on the behavioral theory of COWS. In particular, we show that communication in COWS is neither purely synchronous nor purely asynchronous.\r\n"^^ . "2011" . . "6582" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Antonio"^^ . "Ravara"^^ . "Antonio Ravara"^^ . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . . . . . "Behavioral theory for session-oriented calculi (PDF)"^^ . . . "TorresVieira_LNCS_6582a.pdf"^^ . . . "Behavioral theory for session-oriented calculi (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Behavioral theory for session-oriented calculi (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Behavioral theory for session-oriented calculi (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Behavioral theory for session-oriented calculi (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2314 \n\nBehavioral theory for session-oriented calculi\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .