Search results
From MaRDI portal
- properties of distributed systems 2012-03-09 Paper The impossibility of boosting distributed service resilience 2011-07-08 Paper Distributed Computing 2010-02-23...10 bytes (18 words) - 21:44, 9 December 2023
- 1979-01-01 Paper Distributed Simulation: A Case Study in Design and Verification of Distributed Programs 1979-01-01 Paper Distributed simulation of networks...10 bytes (16 words) - 14:29, 28 January 2024
- predicate in a distributed system 2007-04-26 Paper Algorithmic combinatorics based on slicing posets 2006-09-14 Paper Principles of Distributed Systems 2005-08-24...10 bytes (18 words) - 15:18, 10 December 2023
- parties 2018-09-26 Paper Interactions in Multiagent Systems 2018-08-27 Paper Interactions in Multiagent Systems: Fairness, Social Optimality and Individual Rationality...10 bytes (19 words) - 06:09, 9 December 2023
- Real-time rewriting logic semantics for spatial concurrent constraint programming 2023-07-28 Paper Computing distributed knowledge as the greatest lower bound of...10 bytes (18 words) - 11:55, 11 December 2023
- Inference in Discrete Event Systems 2019-11-14 Paper Distributed Balancing With Constrained Integer Weights 2019-07-18 Paper Distributed Stopping for Average...10 bytes (19 words) - 12:32, 28 January 2024
- Graphs With Application to Power Flow 2017-09-21 Paper Verification of distributed systems with local-global predicates 2012-07-03 Paper A Formalized Theory...10 bytes (19 words) - 14:29, 28 January 2024
- Asynchronous Systems 2016-06-06 Paper Impossibility Results for Distributed Transactional Memory 2016-03-23 Paper Competitive concurrent distributed queuing...10 bytes (19 words) - 17:43, 9 December 2023
- Scheduling of Distributed Systems 2010-09-07 Paper Verification: Theory and Practice 2010-03-23 Paper Priority Scheduling of Distributed Systems Based on Model...10 bytes (16 words) - 01:18, 12 December 2023
- asynchronous message-passing systems 2017-08-15 Paper From wait-free to arbitrary concurrent solo executions in colorless distributed computing 2017-05-22 Paper...10 bytes (17 words) - 02:08, 10 December 2023
- Methods for Open Object-Based Distributed Systems 2010-01-12 Paper Formal Methods for Open Object-Based Distributed Systems 2010-01-12 Paper Verification...10 bytes (20 words) - 16:50, 9 December 2023
- Tracking for Uncertain Interconnected Systems via Distributed Adaptive Output Feedback Control 2017-05-03 Paper Distributed adaptive asymptotically consensus...10 bytes (17 words) - 14:43, 10 December 2023
- DAE Systems 2021-03-12 Paper Manifold learning for data-driven dynamical system analysis 2020-11-19 Paper A Continuous-Time Analysis of Distributed Stochastic...10 bytes (20 words) - 04:59, 12 December 2023
- 2022-07-08 Paper Distributed computability: relating \(k\)-immediate snapshot and \(x\)-set agreement 2022-06-08 Paper A distributed computing perspective...10 bytes (16 words) - 14:22, 11 December 2023
- Structural decentralised control of concurrent discrete-event systems 2014-08-07 Paper Simple and efficient solution of the shallow water equations with...10 bytes (17 words) - 09:21, 9 December 2023
- the engineering of domain-specific distributed systems 2020-01-31 Paper A calculus for collective-adaptive systems and its behavioural theory 2019-09-17...10 bytes (19 words) - 17:45, 11 December 2023
- analyzing distributed systems modeled by petri nets 1992-09-27 Paper Extended colored Petri net: An efficient tool for analyzing concurrent systems 1991-01-01...10 bytes (18 words) - 10:21, 13 December 2023
- analyzing distributed systems modeled by petri nets 1992-09-27 Paper Extended colored Petri net: An efficient tool for analyzing concurrent systems 1991-01-01...10 bytes (18 words) - 10:21, 13 December 2023
- Probabilistic Concurrent Systems 2013-08-05 Paper Specification and Verification using Message Sequence Charts 2013-07-24 Paper Synthesis of Succinct Systems 2012-11-21...10 bytes (19 words) - 04:20, 9 December 2023
- Paper On concurrent games with payoff 2016-04-12 Paper Distributed probabilistic and quantum strategies 2016-04-12 Paper On Probabilistic Distributed Strategies...10 bytes (16 words) - 01:40, 10 December 2023
