11![A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber](https://www.pdfsearch.io/img/b8c5d93d209c77a40cf88bc655eeaee5.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2015-05-22 10:50:40
|
---|
12![Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo](https://www.pdfsearch.io/img/ac8c171519fc1e3a4c54168e88b03ef7.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:15
|
---|
13![Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa](https://www.pdfsearch.io/img/5bd1283960ea1f7d7aa5a6b1b64bd27f.jpg) | Add to Reading ListSource URL: pages.di.unipi.itLanguage: English - Date: 2015-12-18 06:55:14
|
---|
14![Calculus, heat flow and curvature-dimension bounds in metric measure spaces Luigi Ambrosio (Scuola Normale Superiore, Pisa, Italy) March 3, Calculus, heat flow and curvature-dimension bounds in metric measure spaces Luigi Ambrosio (Scuola Normale Superiore, Pisa, Italy) March 3,](https://www.pdfsearch.io/img/20174053816d5ffe839484aa9eaa24e7.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|
15![Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective – Extended Abstract – Claus Diem University of Leipzig Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective – Extended Abstract – Claus Diem University of Leipzig](https://www.pdfsearch.io/img/c4b69038e8d61f48298c5136642fd888.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2006-03-23 17:41:38
|
---|
16![SageMathT M Advice For Calculus Tuan A. Le and Hieu D. Nguyen Rowan University SageMathT M Advice For Calculus Tuan A. Le and Hieu D. Nguyen Rowan University](https://www.pdfsearch.io/img/7ba300b24d484849f1eb24f5fe34ca12.jpg) | Add to Reading ListSource URL: users.rowan.eduLanguage: English - Date: 2018-02-20 17:03:38
|
---|
17![A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1 A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1](https://www.pdfsearch.io/img/15a02893aeecd20434f731b6b248826b.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-23 02:52:18
|
---|
18![ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London, ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,](https://www.pdfsearch.io/img/da6d6556863449d106271038eb527b4b.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|
19![Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor 4th Workshop on Network Calculus (WoNeCa-4) Marc Boyer (ONERA) Benoˆıt Dupont de Dinechin (Kalray) Amaury Graillat (Verimag, Karla Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor 4th Workshop on Network Calculus (WoNeCa-4) Marc Boyer (ONERA) Benoˆıt Dupont de Dinechin (Kalray) Amaury Graillat (Verimag, Karla](https://www.pdfsearch.io/img/750c893619160aaa5233a0abdd3f2c1e.jpg) | Add to Reading ListSource URL: disco.cs.uni-kl.deLanguage: English - Date: 2018-03-16 22:14:20
|
---|
20![p:/User/FOOTER/aWABASH/CLASSES/Calculus/CALC1/FinalF10.dvi p:/User/FOOTER/aWABASH/CLASSES/Calculus/CALC1/FinalF10.dvi](https://www.pdfsearch.io/img/3778fb91502d34be9ec7c02010eb6059.jpg) | Add to Reading ListSource URL: persweb.wabash.eduLanguage: English - Date: 2011-07-20 15:38:34
|
---|