A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Correspondences between statecharts, event structures, and concurrent regular expressions
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Exclusion for composite objects
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Functorial models for petri nets
Information and Computation
Objects and classes in Algol-like languages
Information and Computation - FOOL V
Formal methods for distributed processing
Relating conflict-free stable transition and event models via redex families
Theoretical Computer Science
Agentspace as a Middleware for Service Integration
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Formal Syntax and Semantics of Java
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
A Linear Metalanguage for Concurrency
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Towards Formal Specification and Verification in Cyberspace
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Knowledge Representation in Extended Pawlak's Information Systems: Algebraic Aspects
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Towards a Machine-Checked Java Specification Book
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A Concept of Agent Language in Agentspace
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Efficient Model Checking of Causal-Knowledge Protocols
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Observational Semantics for Timed Event Structures
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Software Geography: Physical and Economic Aspects
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
A Complete Finite Prefix for Process Algebra
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
On the Category of Event Structures with Dense Time
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Specifying reactive systems by abstract events
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Point algebras for temporal reasoning: algorithms and complexity
Artificial Intelligence
Concurrent computing machines and physical space-time
Mathematical Structures in Computer Science
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Linear types and approximation
Mathematical Structures in Computer Science
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
On an open problem of Amadio and Curien: the finite antichain condition
Information and Computation
The conflict-free reduction geometry
Theoretical Computer Science
Proceedings of the 2006 ACM symposium on Applied computing
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS
Computer Standards & Interfaces
Open Maps and Observational Equivalences for Timed Partial Order Models
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Event Structures with Symmetry
Electronic Notes in Theoretical Computer Science (ENTCS)
Various Constructions of Continuous Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Information systems revisited – the general continuous case
Theoretical Computer Science
Partial Orders, Event Structures and Linear Strategies
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Configuration structures, event structures and Petri nets
Theoretical Computer Science
On Refinement-Closed Security Properties and Nondeterministic Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
Action Refinement for Real-Time Concurrent Processes with Urgency
Electronic Notes in Theoretical Computer Science (ENTCS)
On an open problem of Amadio and Curien: The finite antichain condition
Information and Computation
Real-time stable event structures and marked scott domains: an adjunction
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Timed equivalences for timed event structures
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Quantitative causality in membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
A logic characteristic for timed extensions of partial order based equivalences
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
On the α-reconstructibility of workflow nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Open Maps and Observational Equivalences for Timed Partial Order Models
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
Distributive Evaluations Of λ-Calculus
Fundamenta Informaticae
Rule-based modelling of cellular signalling
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Composition methods for constructing characteristic formulas for dense-time models
Programming and Computing Software
A key event path analysis approach for integrated systems
Modelling and Simulation in Engineering
Representations of Algebraic Domains and Algebraic L-domains by Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |