Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-10

Concurrent Turing Machines

Berndt Farwer, Manfred Kudlek, Heiko Rölke

Fundamenta Informaticae

Retricted access

Research article

First published 2005-3-7

A comparison between strand spaces and multiset rewriting for security protocol analysis

Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln [...]

Journal of Computer Security

Retricted access

Research article

First published 2007-10

Decidability Problems of a Basic Class of Object Nets

Roxana Dietze, Manfred Kudlek, Olaf Kummer

Fundamenta Informaticae

Retricted access

Research article

First published 2011-9

Maximally Parallel Probabilistic Semantics for Multiset Rewriting

Roberto Barbuti, Francesca Levi, Paolo Milazzo [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2019

A Query Language Based on Term Matching and Rewriting

Bartosz Zieliński

Fundamenta Informaticae

Retricted access

Research article

First published 2017-8-24

Time,computational complexity,and probability in the analysis of distance-bounding protocols

Max Kanovich, Tajana Ban Kirigin, Vivek Nigam [...]

Journal of Computer Security

Retricted access

Research article

First published 2014-10

Monitoring Changes in Dynamic Multiset Systems

Gabriel Ciobanu, Dragoş Sburlan

Fundamenta Informaticae

Retricted access

Research article

First published 2021

A Non-Deterministic Multiset Query Language

Bartosz Zieliński

Fundamenta Informaticae

Retricted access

Research article

First published 2014-10

Describing Membrane Computations with a Chemical Calculus

Péter Battyányi, György Vaszil

Fundamenta Informaticae

Retricted access

Research article

First published 2008-10

Nets with Tokens which Carry Data

Ranko Lazić, Tom Newcomb, Joël Ouaknine [...]

Fundamenta Informaticae

Search results