Faris Abou-Saleh and Dirk Pattinson - Free people check

(1 - 6 from 9

)

Table of Contents: Foundations of software science and ...library.villanova.edu › Find › Record › TOC

library.villanova.edu

; Comodels and Effects in Mathematical Operational Semantics /; Faris Abou-Saleh, Dirk Pattinson; Preorders on Monads and Coalgebraic Simulations ...

Comodels and Effects in Mathematical Operational Semantics -...

researchr.org

@inproceedings{Abou-SalehP13, title = {Comodels and Effects in Mathematical Operational Semantics}, author = {Faris Abou-Saleh and Dirk Pattinson}, year ...

CiteSeerX — Towards Effects in Mathematical Operational Semantics

citeseerx.ist.psu.edu

Jan 01, · BibTeX @MISC{Abou-saleh_towardseffects, author = {Faris Abou-saleh and Dirk Pattinson}, title = {Towards Effects in Mathematical Operational Semantics…

All web results to the name "Faris Abou-Saleh"

Dirk Pattinson

users.cecs.anu.edu.au

[5], Faris Abou-Saleh and Dirk Pattinson. Comodels and effects in mathematical operational semantics. In Frank Pfenning, editor, Proc. FoSSaCS 2013, volume ...

Accepted Papers - etaps 2021etaps.org › fossacs › accepted-fossacs13-menu

etaps.org

Faris Abou-Saleh and Dirk Pattinson: Comodels and Effects in Mathematical Operational Semantics. Shin-Ya Katsumata and Tetsuya Sato: Preorders on ...

Program for MFPS 27

dauns.math.tulane.edu

Faris Abou-Saleh and Dirk Pattinson. Towards Effects for Mathematical Operational Semantics. 12: :00 Lunch. Session on Systems Biology. 2: :00. Plenary ...

Related search requests for Faris Abou-Saleh

Perdita Stevens
Dirk Pattinson
James McKinna

Tetsuya Sato

People
Forename "Faris" (1168)
Name "Abou-Saleh" (16)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Faris Abou-Saleh and Dirk Pattinson Free People Check