Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

roland_ewald process-algebra [16 articles]

Recent papers added to roland_ewald library classified by the tag process-algebra. You can also see everyone's process-algebra.
  • Discrete Event Modeling and Simulation in Systems Biology
    Journal of Simulation, Vol. 1, No. 2. (2007), pp. 81-96.
    by Roland Ewald, Carsten Maus, Arndt Rolfs, Adelinde M Uhrmacher
    posted to devs modeling petri-nets process-algebra simulation systems-biology wnt by roland_ewald on 2007-07-13 09:31:54 as read along with 1 person and 2 groups csgillespie dIEMoSIRIS MoSi-Rostock
  • Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
    Vol. 4137 (2006), pp. 52-63.
    by Uwe Nestmann
    edited by Christel Baier, Holger Hermanns
    posted to tutorial process-algebra by roland_ewald on 2007-06-11 16:41:53 as read along with 2 groups dIEMoSIRIS MoSi-Rostock
  • Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods
    Computational Methods in Systems Biology (2006), pp. 63-77.
    by Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston
    posted to model-analysis modeling process-algebra signaling-pathways systems-biology by roland_ewald on 2007-05-25 09:50:12 as ** along with 2 groups dIEMoSIRIS MoSi-Rostock
  • Biomolecular Agents as Multi-behavioural Concurrent Objects
    Electronic Notes in Theoretical Computer Science, Vol. 150, No. 1. (9 March 2006), pp. 31-49.
    by Denys Duchier, Celine Kuttler
    posted to agents modeling process-algebra systems-biology by roland_ewald on 2007-05-25 09:40:48 as ** along with 1 person and 2 groups carmaus dIEMoSIRIS MoSi-Rostock
  • Behavioural equivalence in simulation modelling
    Simulation Modelling Practice and Theory, Vol. 15, No. 1. (January 2007), pp. 1-20.
    by Rob Pooley
    posted to modeling process-algebra theory by roland_ewald on 2007-05-25 09:35:04 as ** along with 2 groups dIEMoSIRIS MoSi-Rostock
  • An Overview and Synthesis on Timed Process Algebras
    (1992), pp. 376-398.
    by Xavier Nicollin, Joseph Sifakis
    posted to modeling process-algebra theory by roland_ewald on 2007-04-13 16:42:21 as *** along with 2 groups dIEMoSIRIS MoSi-Rostock
  • Application of a stochastic name-passing calculus to representation and simulation of molecular processes
    Inf. Process. Lett., Vol. 80, No. 1. (October 2001), pp. 25-31.
    by Corrado Priami, Aviv Regev, Ehud Shapiro, William Silverman
    posted to biology modeling process-algebra systems-biology by roland_ewald on 2007-04-13 13:27:43 as *** along with 1 person and 2 groups Ema dIEMoSIRIS MoSi-Rostock
  • Stochastic pi-calculus with General Distributions
    (1996)
    by Corrado Priami
    edited by P Clu
    posted to modeling process-algebra theory by roland_ewald on 2007-04-13 13:20:30 as ** along with 2 groups dIEMoSIRIS MoSi-Rostock
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
    posted to modeling process-algebra by roland_ewald on 2007-04-12 13:21:27 as **** along with 12 people and 2 groups stagediver bfraser kontakte AndreasSchropp cogumbreiro osh carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
  • Kiltera: A Simulation Language for Timed, Dynamic Structure Systems
    Simulation Symposium, 2007. ANSS '07. 40th Annual (2007), pp. 293-300.
    by Ernesto Posse, Hans Vangheluwe
    posted to modeling process-algebra by roland_ewald on 2007-04-02 18:35:44 as read along with 2 groups dIEMoSIRIS MoSi-Rostock
  • Beta Binders for Biological Interactions
    : Computational Methods in Systems Biology (2005), pp. 20-33.
    by Corrado Priami, Paola Quaglia
    posted to modeling process-algebra systems-biology by roland_ewald on 2007-03-23 12:47:35 as ** along with 1 person and 2 groups mattis23 dIEMoSIRIS MoSi-Rostock
  • A correct abstract machine for the stochastic pi-calculus
    Transactions on Computational Systems Biology (2005)
    by A Phillips, L Cardelli
    posted to process-algebra simulation stochastic-simulation systems-biology by roland_ewald on 2007-03-23 12:43:23 as ** along with 2 groups dIEMoSIRIS MoSi-Rostock
  • BioAmbients: an abstraction for biological compartments
    Theor. Comput. Sci., Vol. 325, No. 1. (September 2004), pp. 141-167.
    by Aviv Regev, Ekaterina M Panina, William Silverman, Luca Cardelli, Ehud Shapiro
    posted to process-algebra systems-biology by roland_ewald on 2007-03-21 22:28:12 as * along with 1 person and 2 groups mattis23 dIEMoSIRIS MoSi-Rostock
  • Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
    : Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings (2003), pp. 282-298.
    by Matthew Hennessy, Massimo Merro, Julian Rathke
    posted to modeling process-algebra by roland_ewald on 2007-03-21 18:07:46 as **** along with 2 groups dIEMoSIRIS MoSi-Rostock
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to modeling process-algebra theory by roland_ewald on 2007-03-20 00:49:41 as read along with 5 people and 3 groups mperalta pverstra myui sugarexpletive KarlKlose macc dIEMoSIRIS MoSi-Rostock
  • The StoPi-calculus and simulator - a stochastic pi-calculus and the implementation of a simulator
    (2003)
    by Anders Bloch, Bj{orn Haagensen, Michael K Hoyer, Steffen U Knudsen
    posted to modeling process-algebra simulation systems-biology by roland_ewald on 2007-03-14 13:41:41 as read along with 2 groups dIEMoSIRIS MoSi-Rostock
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/roland_ewald/tag/process-algebra

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.