CiteULike: scis0000001's concurrency [45 articles]

Online efficient predictive safety analysis of multithreaded programs

In Proceedings of 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), Barcelona, Spain, Vol. 2988 (March 2004), pp. 123-138.

by K. Sen, G. Rosu, G. Agha

posted to concurrency online prediction risk safety by scis0000001 on 2007-04-28 00:27:30 as

Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report

In CONCUR '96: Proceedings of the 7th International Conference on Concurrency Theory (1996), pp. 331-372.

by Jos&\#233; Meseguer

posted to concurrency iff rewriting-logic semantics by scis0000001 on 2007-04-14 01:49:10 as

Categories in concurrency

(1997)

by G. Winskel, M. Nielsen

posted to category-theory concurrency by scis0000001 on 2007-04-07 13:46:24 as

Complex Behavior of Stock Markets: Processes of Synchronization and Desynchronization during Crises

ArXiv Condensed Matter e-prints (March 2004)

by T. Araújo, Lou\c F. Cã

posted to behavior concurrency desynchronization markets synchronization by scis0000001 on 2007-04-05 02:24:38 as

along with 1 person and 2 groups lmorel TUCS-ES_Lab TUCS-KITARA_project

Dynamics of market correlations: Taxonomy and portfolio analysis

Phys. Rev. E, Vol. 68, No. 5. (November 2003), 056110.

by J. P. Onnela, A. Chakraborti, K. Kaski, J. Kertész, A. Kanto

posted to behavior concurrency domain-theory dynamics markets semantics taxonomy topological-space ultrametric-space by scis0000001 on 2007-04-01 15:42:05 as

Analyses of design processes based on category theory and channel theory

SICE 2003 Annual Conference, Vol. 1 (2003), pp. 961-966.

by K. Minamizono, O. Katai, T. Shiose, H. Kawakami

Exploiting Quantum Parallelism To Simulate Quantum Random Many-Body Systems

(11 May 2005)

by B. Paredes, F. Verstraete, J. I. Cirac

posted to concurrency many-body nonlocality parallelism randomness by scis0000001 on 2007-02-23 12:56:36 as

Continuations for parallel logic programming

In Principles and Practice of Declarative Programming (2000), pp. 257-267.

by Eneia Todoran, Nikolaos Papaspyrou

posted to committed-choice concurrency inference interactivity lp paraconsistency parallel by scis0000001 on 2007-02-20 09:57:06 as

along with 1 person zednenem

Design of the kernel language for the parallel inference machine

The Computer Journal, Vol. 33, No. 6. (1990), pp. 494-500.

by Kazunori Ueda, Takashi C. Chikayama

posted to committed-choice concurrency inference interactivity paraconsistency by scis0000001 on 2007-02-20 09:55:32 as

Paraconsistency of Interactive Computation

(21 Jul 2002)

by Dina Goldin, Peter Wegner

Concurrent Games and Full Completeness

In Logic in Computer Science (1999), pp. 431-442.

by Samson Abramsky, Paul A. Mellies

posted to completeness computability-logic concurrency domain-theory games semantics by scis0000001 on 2007-02-18 11:59:33 as

Sequentiality vs. Concurrency in Games and Logic

by Samson Abramsky

posted to concurrency games logics sequentiality by scis0000001 on 2007-02-18 11:58:26 as

Infinite Behaviour and Fairness in Concurrent Constraint Programming

In REX Workshop (1992), pp. 348-383.

by Marta Z. Kwiatkowska

posted to domain-theory constraints concurrency ccp by scis0000001 on 2007-02-04 16:20:27 as

A Classification of Models for Concurrency

In International Conference on Concurrency Theory (1993), pp. 82-96.

by Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

posted to concurrency classification by scis0000001 on 2007-02-04 15:42:16 as

along with 1 person olegus

Relating Processes With Respect to Speed

In CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory (1991), pp. 424-438.

by Faron Moller, Chris M. N. Tofts

posted to concurrency emergence long-range-correlation multiscale process speed speed-prior symmetry-breaking temporal by scis0000001 on 2007-02-03 18:35:01 as

Categorical Models for Concurrency: Independence, Fairness and Dataflow

by Thomas T. Hildebrandt

posted to concurrency categorical by scis0000001 on 2007-02-03 15:21:07 as

along with 2 people blog01 jrw

Hierarchical Finite State Machines with Multiple Concurrency Models

No. UCB/ERL M97/57. (1998)

by A. Girault, B. Lee, E. A. Lee

posted to hierarchy concurrency by scis0000001 on 2007-02-02 14:32:48 as

Synchronous/Asynchronous Approaches for Intelligent Real-Time Systems

(1993)

by Adelantado

posted to synchronous simulation real-time-computing multiscale multidimensional information-system granularity emergence concurrency computational-physics circuitry asynchronous by scis0000001 on 2007-02-02 14:26:15 as

Representing Interaction of Agents at Different Time Granularities

In TIME (1996), pp. 72-79.

by Edjard Mota, David S. Robertson

posted to scale-relativity multiscale mas interactivity interaction granularity concurrency by scis0000001 on 2007-02-02 14:12:12 as

Concurrency and Automata on Infinite Sequences

In Proceedings of the 5th GI-Conference on Theoretical Computer Science (1981), pp. 167-183.

by David Park

posted to infinite-sequence concurrency automata by scis0000001 on 2007-01-30 09:37:05 as

I/O automata and beyond: Temporal logic and abstraction in Isabelle

: Theorem Proving in Higher Order Logics (1998), pp. 331-348.

by Olaf Mã¼ller

posted to temporal-logic domain-theory concurrency by scis0000001 on 2007-01-29 15:11:17 as

Nonlinear brain dynamics as macroscopic manifestation of underlying many-body field dynamics

(22 Nov 2005)

by Walter J. Freeman, Giuseppe Vitiello

posted to collective concurrency dynamics formation many-body multiscale neuroscience nonlinear symmetry-breaking synchronous by scis0000001 on 2007-01-17 13:22:01 as

Domain Theory for Concurrency

(2003)

by M. Nygaard

posted to domain-theory concurrency by scis0000001 on 2007-01-16 13:50:49 as

The Dynamics of Default Reasoning

Data Knowledge Engineering, Vol. 21, No. 3. (1997), pp. 317-346.

by B. van Linder, Wiebe van der Hoek, John

posted to concurrency default-reasoning dynamical-system dynamics inference inference-dynamics logics reasoning-dynamics speed-prior temporal-logic by scis0000001 on 2007-01-12 22:20:00 as

Termination, deadlock, and divergence

J. ACM, Vol. 39, No. 1. (January 1992), pp. 147-187.

by L. Aceto, M. Hennessy

posted to termination divergence deadlock concurrency chu-space by scis0000001 on 2007-01-12 19:58:07 as

Higher dimensional automata revisited

Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548.

posted to topology state-space information-system homotopy homology hda hd geometry event-structures event-space concurrency chu-space category-theory algebraic-domains algebraic by scis0000001 on 2007-01-07 13:55:35 as

Patterns of synchrony in lattice dynamical systems

Nonlinearity, Vol. 18, No. 5. (September 2005), pp. 2193-2209.

by Fernando Antoneli, Ana P. Dias, Martin Golubitsky, Yunjiao Wang

posted to concurrency dynamical-system formation lattice partial-order pattern synchrony time by scis0000001 on 2007-01-06 15:19:46 as

Domain Theory for Concurrency

(2003)

by M. Nygaard

posted to concurrency domain-theory by scis0000001 on 2006-12-16 14:22:40 as

Presheaf Models for Concurrency

In CSL (1996), pp. 58-75.

by Gian L. Cattani, Glynn Winskel

posted to bisimulation category-theory concurrency presheaves by scis0000001 on 2006-12-16 14:20:24 as

Modeling Concurrency with Geometry

In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991), pp. 311-322.

posted to concurrency geometry by scis0000001 on 2006-12-16 14:11:05 as

Chu Spaces and their Interpretation as Concurrent Objects

In Computer Science Today: Recent Trends and Developments (1995), pp. 392-405.

edited by J. van Leeuwen

posted to chu-space concurrency by scis0000001 on 2006-12-14 13:28:02 as

along with 1 person isotelesis

A Discrete-Time UML Semantics for

by Concurrency, Communication

posted to concurrency discrete semantics uml by scis0000001 on 2006-11-19 13:48:22 as

Structured Operational Semantics for Concurrency and Hierarchy

In STACS '93: Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science (1993), pp. 418-427.

by Andrew C. Uselton

posted to concurrency hierarchy operational-semantics by scis0000001 on 2006-10-01 21:43:48 as

Some geometric perspectives in concurrency theory

(2003)

by E. Goubault

posted to concurrency dimension geometry by scis0000001 on 2006-09-22 09:41:51 as

Homotopy invariants of higher dimensional categories and concurrency in computer science

Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 481-524.

by Philippe Gaucher

posted to concurrency hd homotopy invariance by scis0000001 on 2006-09-13 14:18:56 as

Well-behaved Flow Event Structures for Parallel Composition and Action Refinement

by Rob van Glabbeek, Ursula Goltz

posted to composition concurrency time by scis0000001 on 2006-09-01 08:50:05 as

Event-State Duality: The Enriched Case