An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Authors:
Józef Winkowski
Affiliations:
Institute of Computer Science Polish Academy of Sciences Ordona 21, 01-237 Warszawa, Poland. E-mail: wink@ipipan.waw.pl
Venue:
Fundamenta Informaticae
Year:
2009

Citing 23
Cited 3

Petri nets: an introduction

Petri nets: an introduction
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Petri nets: basic notions, structure, behaviour

Current trends in concurrency. Overviews and tutorials
K-density, N-density and finiteness properties

Advances in Petri Nets 1984
An algebra of processes

Journal of Computer and System Sciences
Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
Axiomatizing net computations and processes

Proceedings of the Fourth Annual Symposium on Logic in computer science
Process versus unfolding semantics for place/transition Petri nets

Theoretical Computer Science - Special volume on Petri nets
Graph processes

Fundamenta Informaticae - Special issue on graph transformations
Termination of Probabilistic Concurrent Program

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes

Proceedings of the 11th Colloquium on Automata, Languages and Programming
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability

Hybrid Systems
Introduction to General Net Theory

Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Continuous Petri Nets and Transition Systems

Unifying Petri Nets, Advances in Petri Nets
Configuration Structures

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Model checking for probability and time: from theory to practice

LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
An algebraic characterization of independence of Petri net processes

Information Processing Letters - Special issue: Contribution to computing science
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

Fundamenta Informaticae
An Axiomatic Characterization of Algebras of Processes of Petri Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Behaviour Algebras

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Observing Branching Structure through Probabilistic Contexts

SIAM Journal on Computing
Towards a Framework for Modelling Behaviours of Hybrid Systems

Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
An Algebraic Framework for Defining Random Concurrent Behaviours

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation

Fundamenta Informaticae
Multiplicative Transition Systems

Fundamenta Informaticae
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Petitcolas has proposed a steganographic technique called MP3Stego which can hide secret messages in a MP3 audio. This technique is well-known because of its high capacity. However, in rare cases, the normal audio encoding process will be terminated ...