znmeb's library 43 articles Export Sort

Hide details

	Interval Matrices for the Bottleneck Analysis of Queueing Network Models with Histogram-Based Parameters [My Copy] by Johannes Lüthi posted to no-tag by znmeb on 2007-07-09 00:36:39 as
	Structured analysis approaches for large Markov chains [My Copy] Applied Numerical Mathematics: Transactions of IMACS, Vol. 31, No. 4. (1999), pp. 375-404. by Peter Buchholz posted to kronecker markov modeling by znmeb on 2007-04-23 23:23:20 as along with 1 person peg
	Linda Implementation Revisited [My Copy] In Proceedings of the 18th World occam and transputer user group meeting (1995) by Andrew Douglas, Antony Rowstron, Alan Wood edited by P. Nixon posted to linda by znmeb on 2007-04-21 20:31:19 as along with 1 person saintedlama
	Garbage Collection in Linda using Tuple Monitoring and Process Registration [My Copy] In Proc. of the 10th International Conference on Parallel and Distributed Computing and Systems (1998), pp. 490-495. by Ronaldo Menezes, Alan Wood posted to garbage-collection linda by znmeb on 2007-04-21 20:30:13 as
	Distributed Garbage Collection of Tuple Space in Open Linda Coordination Systems [My Copy] In Proc. of the 14th International Symposium on Computer and Information Sciences (1999), pp. 957-965. by Ronaldo Menezes, Alan Wood posted to garbage-collection linda by znmeb on 2007-04-21 20:29:45 as
	Garbage Collection in Open Distributed Tuple Space Systems [My Copy] In Proceedings of 15th Brazilian Computer Networks Symposium - SBRC'97 (1997), pp. 525-543. by Ronaldo Menezes, Alan Wood edited by Wanderley L. de Souza, Rogério Drummond posted to garbage-collection linda by znmeb on 2007-04-21 20:29:19 as
	Experience with memory management in open Linda systems [My Copy] In Selected Areas in Cryptography (March 2001), pp. 187-196. by Ronaldo Menezes posted to garbage-collection linda by znmeb on 2007-04-21 20:28:32 as
	Resource Management in Open Tuple Space Systems [My Copy] by Ronaldo P. de Menezes posted to linda by znmeb on 2007-04-21 20:27:14 as
	A New Approach to Scalable Linda-systems Based on Swarms [My Copy] (2003) by R. Menezes, R. Tolksdorf posted to linda swarm by znmeb on 2007-04-21 20:26:12 as
	Using swarm intelligence in linda systems [My Copy] (2003) by R. Tolksdorf, R. Menezes posted to linda swarm by znmeb on 2007-04-21 20:25:32 as
	Adaptiveness in Linda-based Coordination Models [My Copy] by Ronaldo Menezes, Robert Tolksdorf posted to linda by znmeb on 2007-04-21 20:24:16 as
	The SPACETUB Models and Framework [My Copy] In Coordination Models and Languages (2002), pp. 348-363. by Robert Tolksdorf, Gregor R. Goldmann posted to linda by znmeb on 2007-04-21 20:22:59 as
	Comparing three semantics for Linda-like languages [My Copy] Theoretical Computer Science, Vol. 240, No. 1. (2000), pp. 49-90. by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro posted to linda by znmeb on 2007-04-21 20:22:23 as
	Generic Process Algebras for Asynchronous Communication [My Copy] In International Conference on Concurrency Theory (1999), pp. 226-241. by Frank S. de Boer, Gianluigi Zavattaro posted to process-algebra by znmeb on 2007-04-21 20:21:21 as
	A Theory of “May” Testing for Asynchronous Languages [My Copy] Lecture Notes in Computer Science, Vol. 1578 (1999), pp. 165-179. by M. Boreale, R. De Nicola, R. Pugliese posted to concurrency process-algebra by znmeb on 2007-04-21 20:18:57 as
	Basic Observables for a Calculus for Global Computing [My Copy] (2004) by R. De Nicola, D. Gorla, R. Pugliese posted to mobility by znmeb on 2007-04-21 20:17:50 as
	A COMPARISON OF SIMULATION TECHNIQUES AND ALGEBRAIC TECHNIQUES FOR VERIFYING CONCURRENT SYSTEMS [My Copy] No. MIT/LCS/TM-499. (1993) by N. Lynch, R. Segala posted to concurrency by znmeb on 2007-04-21 20:16:51 as along with 1 person Scis0000002
	BTS: A Byzantine Fault-Tolerant Tuple Space [My Copy] by Alysson N. Bessani posted to fault-tolerant linda by znmeb on 2007-04-21 20:14:09 as
	Trace and Testing Equivalence on Asynchronous Processes [My Copy] (1999) by M. Boreale, R. De Nicola, R. Pugliese posted to linda process-algebra by znmeb on 2007-04-21 20:13:03 as
	Klaim: a Kernel Language for Agents Interaction and Mobility [My Copy] IEEE Transactions on Software Engineering (Special Issue on Mobility and Network Aware Computing) (1998) by Rocco de Nicola, Gian L. Ferrari, R. Pugliese edited by Catalin Roman, Ghezzi posted to linda mobility by znmeb on 2007-04-21 20:11:38 as
	Linda-based applicative and imperative process algebras [My Copy] Theoretical Computer Science, Vol. 238, No. 1--2. (2000), pp. 389-437. by Rocco De Nicola, Rosario Pugliese posted to linda process-algebra by znmeb on 2007-04-21 20:10:31 as
	Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces [My Copy] In Coordination Models and Languages (2000), pp. 66-80. by Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron posted to linda optimization by znmeb on 2007-04-21 20:09:45 as
	Learning Continuous Time Markov Chains from Sample Executions [My Copy] by Koushik Sen, Mahesh Viswanathan, Gul Agha posted to ctmc markov by znmeb on 2007-04-21 19:07:49 as
	Linda-based applicative and imperative process algebras [My Copy] Theoretical Computer Science, Vol. 238, No. 1--2. (2000), pp. 389-437. by Rocco De Nicola, Rosario Pugliese posted to linda process-algebra by znmeb on 2007-04-21 19:05:59 as
	Permanent, Ephemeral, and Temporary Data in Shared Dataspace Coordination Languages [My Copy] by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro posted to concurrency linda by znmeb on 2007-04-21 19:04:38 as
	Pi-Calculus As A Rapid Prototype Language For Performance Evaluation [My Copy] by Francesco Logozzo posted to performance pi-calculus by znmeb on 2007-04-21 18:51:23 as along with 1 person mputney1
	Characterising the design space for linda semantics [My Copy] (1997) by D. Campbell, H. Osborne, A. Wood posted to linda semantics by znmeb on 2007-04-21 18:49:56 as
	A process algebraic view of Linda coordination primitives [My Copy] Theoretical Computer Science, Vol. 192, No. 2. (1998), pp. 167-199. by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro posted to linda process-algebra by znmeb on 2007-04-21 18:49:01 as
	A Petri Net Semantics for pi-Calculus [My Copy] In International Conference on Concurrency Theory (1995), pp. 145-159. by Nadia Busi, Roberto Gorrieri posted to petri-nets pi-calculus by znmeb on 2007-04-21 18:45:45 as along with 1 person and 2 groups mattis23 dIEMoSIRIS MoSi-Rostock
	Towards a Calculus for Generative Communication [My Copy] In Proc. First IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems ({FMOODS}) (1996), pp. 289-306. by P. Ciancarini, R. Gorrieri, G. Zavattaro edited by E. Najm, J. Stefani posted to concurrency linda mobility by znmeb on 2007-04-21 18:44:38 as
	Comparing three semantics for Linda-like languages [My Copy] Theoretical Computer Science, Vol. 240, No. 1. (2000), pp. 49-90. by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro posted to linda semantics by znmeb on 2007-04-21 18:43:09 as
	Zero-safe net models for transactions in Linda [My Copy] (2001) by R. Bruni, U. Montanari posted to linda petri-nets transactions zero-safe by znmeb on 2007-04-21 18:42:41 as
	LIME: Linda Meets Mobility [My Copy] In International Conference on Software Engineering (1999), pp. 368-377. by Gian P. Picco, Amy L. Murphy, Gruia C. Roman posted to lime linda mobility by znmeb on 2007-04-21 18:41:45 as
	Resource Management In Open Tuple Space Systems [My Copy] by Ronaldo P. de Menezes posted to concurrency linda by znmeb on 2007-04-21 18:40:33 as
	On the Use of Linda as a Framework for Distributed Database Systems [My Copy] by Madhan Thirukonda, Ronaldo Menezes posted to database distributed linda by znmeb on 2007-04-21 18:38:55 as
	Trace Machines for Observing Continuous-Time Markov Chains [My Copy] by Verena Wolf, Mila M. Cederbaum, Christel Baier posted to ctmc markov by znmeb on 2007-04-21 18:37:25 as
	Simulation for Continuous-time Markov Chains [My Copy] (2002) by C. Baier, J. Katoen, H. Hermanns, B. Haverkort posted to ctmc markov simulation by znmeb on 2007-04-21 18:36:09 as along with 2 people cokelaer phoenixzxl
	A Truly Concurrent view of Linda Interprocess Communication [My Copy] (1997) by N. Busi, R. Gorrieri, G. Zavattaro posted to concurrency linda by znmeb on 2007-04-21 18:33:59 as
	On the Expressiveness of Linda Coordination Primitives [My Copy] Information and Computation, Vol. 156, No. 1--2. (2000), pp. 90-121. by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro posted to linda by znmeb on 2007-04-21 18:32:53 as
	A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time [My Copy] Theoretical Computer Science, Vol. 202, No. 1--2. (1998), pp. 1-54. by Marco Bernardo, Roberto Gorrieri posted to empa performance process-algebra by znmeb on 2007-04-21 18:31:11 as
	Optimizing tensor product computations in stochastic automata networks [My Copy] (1998) by P. Fernandes, B. Plateau, W. Stewart posted to kronecker by znmeb on 2007-04-03 20:34:54 as along with 1 person peg
	On the solution of GSPN reward models [My Copy] Performance Evaluation, Vol. 12, No. 4. (July 1991), pp. 237-253. by Gianfranco Ciardo, Jogesh Muppala, Kishor S. Trivedi posted to markov performance by znmeb on 2006-08-05 21:50:45 as along with 1 person and 2 groups muppala Computer_Networks Embedded_Systems_And_Software
	book.pdf (application/pdf Object) [My Copy] by Jane Hillston posted to modeling pepa performance process-algebra by znmeb on 2006-08-05 21:48:42 as along with 1 person peg

Note: You may cite this page as: http://www.citeulike.org/user/znmeb

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

linda	28
process-algebra	8
concurrency	6
markov	5
garbage-collection	4
performance	4
mobility	4
ctmc	3
petri-nets	2
swarm	2
modeling	2
kronecker	2
semantics	2
pi-calculus	2
database	1
simulation	1
zero-safe	1
lime	1
optimization	1
transactions	1
distributed	1
fault-tolerant	1
pepa	1
empa	1

znmeb's library 43 articles Export Sort

znmeb's tags