Suchergebnisse - "Hybrid Semantics of Programming Languages"

Stochastic Programs and Hybrid Automata for (Biological) Modeling

Autoren: BORTOLUSSI, LUCA POLICRITI A. Klaus Ambos-Spies and Benedikt Lowe and Wolfgang Merkle et al.

Weitere Verfasser: BORTOLUSSI, LUCA POLICRITI A. Klaus Ambos-Spies and Benedikt Lowe and Wolfgang Merkle et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783642030727

Schlagwörter: Stochastic Concurrent Constraint Programming, Hybrid Automata, Hybrid Semantics of Programming Languages

Dateibeschreibung: STAMPA; application/pdf

Zugangs-URL: http://www.dmi.units.it/%7Ebortolu/files/reps/BortolussiPolicriti-HybridSCCPlatticeExtended.pdf
http://www.springerlink.com/content/026g745267581425/
http://hdl.handle.net/11368/2287700
https://rd.springer.com/chapter/10.1007%2F978-3-642-03073-4_5
https://link.springer.com/chapter/10.1007%2F978-3-642-03073-4_5
https://core.ac.uk/display/53717379
https://link.springer.com/content/pdf/10.1007%2F978-3-642-03073-4_5.pdf
https://www.dmi.units.it/~bortolu/files/reps/BortolussiPolicriti-HybridSCCPlatticeExtended.pdf
https://dblp.uni-trier.de/db/conf/cie/cie2009.html#BortolussiP09

Hybrid Semantics for Stochastic π-Calculus

Autoren: BORTOLUSSI, LUCA POLICRITI A. Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz and Hiroshi Yoshida et al.

Weitere Verfasser: BORTOLUSSI, LUCA POLICRITI A. Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz and Hiroshi Yoshida et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783540851004

Schlagwörter: Stochastic pi-calculu, Hybrid Semantics of Programming Languages, Stochastic pi-calculus, Hybrid Systems, Hybrid System

Dateibeschreibung: STAMPA; application/pdf

Zugangs-URL: http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-policriti-HybridPI-final.pdf
http://hdl.handle.net/11368/1847321
http://www.springerlink.com/content/w30825q00815t203/
https://rd.springer.com/chapter/10.1007/978-3-540-85101-1_4
https://www.dmi.units.it/~bortolu/files/conferences/bortolussi-policriti-HybridPI-final.pdf
https://dblp.uni-trier.de/db/conf/ab/ab2008.html#BortolussiP08
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-policriti-HybridPI-final.pdf
https://link.springer.com/content/pdf/10.1007/978-3-540-85101-1_4.pdf
https://link.springer.com/chapter/10.1007%2F978-3-540-85101-1_4
https://hdl.handle.net/11390/691472