Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Modeling concurrency with partial orders
International Journal of Parallel Programming
Petr nets, algebras, morphisms, and compositionality
Information and Computation
Algebraic theory of processes
Communication and concurrency
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A partial ordering semantics for CCS
Theoretical Computer Science
A semantics for ML concurrency primitives
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order concurrency
Selected papers of the 3rd workshop on Concurrency and compositionality
Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
A calculus of mobile processes, I
Information and Computation
The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
Observing “true” concurrency
Structured operational semantics as a specification language
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Comparing locality and causality based equivalences
Acta Informatica
Reactive, generative, and stratified models of probabilistic processes
Information and Computation
A causal operational semantics of action refinement
Information and Computation
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
Enhanced operational semantics
ACM Computing Surveys (CSUR)
A compositional approach to performance modelling
A compositional approach to performance modelling
On bisimulations of the asynchronous &pgr;-calculus
Theoretical Computer Science
Information and Computation
Non-interleaving semantics for mobile processes
Theoretical Computer Science
Applying techniques of asynchronous concurrency to synchronous languages
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
Names fo the &pgr;-calculus agents handled locally
Theoretical Computer Science - Special issues on models and paradigms for concurrency
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Ten Commandments of Formal Methods
Computer
Semantic-Driven Performance Evaluation (Extended Abstract)
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
MFCS '94 Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science 1994
Locality and True-concurrency in Calculi for Mobile Processes
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Towards Performance Evaluation in Process Algebras
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract)
AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
A Parametric Approach to Localities
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Towards Performance Evaluation with General Distributions in Process Algebras
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Compositional Verification of Probabilistic Processes
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A Petri Net Semantics for pi-Calculus
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Analysis of Facile Programs: A Case Study
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
An algebraic approach to the specification of stochastic systems
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Partial ordering derivations for CCS
FCT '85 Fundamentals of Computation Theory
QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets
MMB '95 Proceedings of the 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation: Quantitative Evaluation of Computing and Communication Systems
An Overview and Synthesis on Timed Process Algebras
Proceedings of the Real-Time: Theory in Practice, REX Workshop
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Authentication via Localized Names
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Integrating Behavioural and Performance Analysis with Topology Information
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 1: Software Technology and Architecture
Primitives for authentication in process algebras
Theoretical Computer Science
Composable semantics for model-based notations
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Composable semantics for model-based notations
ACM SIGSOFT Software Engineering Notes
Analysis of security protocols as open systems
Theoretical Computer Science
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Enhanced Operational Semantics in Systems Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
A format for semantic equivalence comparison
Theoretical Computer Science
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Simulation and verification I: design environments for complex systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
Checking security policies through an enhanced control flow analysis
Journal of Computer Security - Special issue on WITS'03
Authentication primitives for secure protocol specifications
Future Generation Computer Systems - Special issue: Parallel computing technologies
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Control Flow Analysis for BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
A Chart Semantics for the Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
An Intermediate Language for the Simulation of Biological Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Data Mining and Bioinformatics
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
The BlenX Language with Biological Transactions
Transactions on Computational Systems Biology IX
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science
Performance Evaluation of Security Protocols Specified in LySa
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quantitative Study of Two Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Authentication primitives for secure protocol specifications
Future Generation Computer Systems - Special issue: Parallel computing technologies
On the expressiveness of the π-calculus and the mobile ambients
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
On evaluating the performance of security protocols
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
On the realizability of contracts in dishonest systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
| Hi-index | 0.01 |
This article surveys the definition and application of an enhancement of structural operational semantics in the field of concurrent systems, and also addresses issues of distribution and mobility of code. The focus is on how enriching the labels of transitions with encodings of their deduction trees is sufficient to derive qualitative and quantitative information on the systems in hand simply by relabeling the transitions of a unique concrete model.