Search Results

Communities of Interacting Automata for Modeling Distributed Systems with Dynamic Structure.

• Authors : Lomazova, Irina A.¹

• Source: Fundamenta Informaticae. Apr2004, Vol. 60 Issue 1-4, p225-235. 11p. 3 Diagrams.

Record details

Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra

• Authors : Jasen Markovski; Erik P. de Vink

Subjects: 0101 mathematics; 01 natural sciences

• Source: Fundamenta Informaticae. 95:157-186

Record details

Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems

• Authors : Irina A. Lomazova

Subjects: 0202 electrical engineering, electronic engineering, information engineering; 02 engineering and technology

• Source: Fundamenta Informaticae. 43:195-214

Record details

Integrating Distributed Algorithms into Distributed Systems

• Authors : Sibylle Peuker; Ekkart Kindler

Subjects: 0102 computer and information sciences; 01 natural sciences

• Source: Fundamenta Informaticae. 37:291-309

Record details

Entish: A Language for Describing Data Processing in Open Distributed Systems.

• Authors : Ambroszkiewicz, Stanislaw^1,2

• Source: Fundamenta Informaticae. Apr2004, Vol. 60 Issue 1-4, p41-66. 26p.

Record details

Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets*.

• Authors : Lomazova, Irina A.

• Source: Fundamenta Informaticae. Jun2002, Vol. 51 Issue 1-2, p121. 13p. 6 Diagrams.

Record details

A Hybrid Protocol to Solve Authenticated Byzantine Consensus.

• Authors : Tioura, Abdelhamid¹ (AUTHOR) ; Moumen, Hamouma² (AUTHOR) ; Kalla, Hamoudi² (AUTHOR)

• Source: Fundamenta Informaticae. 2020, Vol. 173 Issue 1, p73-89. 17p.

Record details

Clausal Tableaux for Multimodal Logics of Belief

• Authors : Gore, Rajeev; Nguyen, Linh Anh

Subjects: Decision procedure; Biomineralization; Keywords: Complexity and decidability of modal logics

• Source: Fundamenta Informaticae. 94:21-40

Record details

Reasoning on the Efficiency of Distributed Complex Event Processing.

• Authors : Akili, Samira¹ (AUTHOR) ; Weidlich, Matthias¹ (AUTHOR) ; Schlingloff, H. (AUTHOR)

• Source: Fundamenta Informaticae. 2021, Vol. 179 Issue 2, p113-134. 22p.

Record details

Distributed Timed Automata with Independently Evolving Clocks

• Authors : Akshay, Sundararaman; Bollig, Benedikt; Gastin, Paul ...

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; Distributed Systems; Timed Automata

• Source: Lecture Notes in Computer Science ISBN: 9783540853602Fundamenta InformaticaeFundamenta Informaticae, Polskie Towarzystwo

Record details