Specifying agent observable behaviour
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
ACM Transactions on Computational Logic (TOCL)
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Distributed and structured analysis approaches to study large and complex systems
Lectures on formal methods and performance analysis
Semantics of Timed Message Sequence Charts
Cybernetics and Systems Analysis
A comparison of Statecharts step semantics
Theoretical Computer Science
Process algebras for systems diagnosis
Artificial Intelligence
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras
IICS '02 Proceedings of the Second International Workshop on Innovative Internet Computing Systems
Action Refinement for Probabilistic Processes with True Concurrency Models
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Bialgebraic Modelling of Timed Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A New Algorithm for Service Interaction Detection
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Action Refinement from a Logical Point of View
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
A Faster-than Relation for Asynchronous Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Semantic Theory for Heterogeneous System Design
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Stochastic Process Algebras Meet Eden
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A graphical µ-calculus and local model checking
Journal of Computer Science and Technology
A model checker for verifying ConGolog programs
Eighteenth national conference on Artificial intelligence
On temporal logic versus datalog
Theoretical Computer Science - Logic and complexity in computer science
Automata logics, and infinite games
Comparing semantic frameworks for coordination: on the conformance issue for coordination media
Proceedings of the 2003 ACM symposium on Applied computing
A multi-agent system for e-barter including transaction and shipping costs
Proceedings of the 2003 ACM symposium on Applied computing
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Exploiting labels in Structural Operational Semantics
Proceedings of the 2004 ACM symposium on Applied computing
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Bisimulation on speed: worst-case efficiency
Information and Computation
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
A comonadic account of behavioural covarieties of coalgebras
Mathematical Structures in Computer Science
A brief history of process algebra
Theoretical Computer Science - Process algebra
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
Formal specification of multi-agent e-barter systems
Science of Computer Programming
Systems Specification by Basic Protocols
Cybernetics and Systems Analysis
A Synchronous Process Calculus for Service Costs
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Basic protocols, message sequence charts, and the verification of requirements specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages
Information and Computation
A stackless runtime environment for a Pi-calculus
Proceedings of the 2nd international conference on Virtual execution environments
CSP-CASL: a new integration of process algebra and algebraic specification
Theoretical Computer Science - Algebraic methods in language processing
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Probabilistic temporal logics via the modal mu-calculus
Theoretical Computer Science
Ensuring termination by typability
Information and Computation
Splitting bisimulations and retrospective conditions
Information and Computation
Bisimulation on speed: a unified approach
Theoretical Computer Science
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
Theoretical Computer Science
Measuring the confinement of probabilistic systems
Theoretical Computer Science - Theoretical foundations of security analysis and design II
Data Anonymity in the FOO Voting Scheme
Electronic Notes in Theoretical Computer Science (ENTCS)
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Conjunction on processes: Full abstraction via ready-tree semantics
Theoretical Computer Science
Synchronized Shuffle on Backbones
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Fundamenta Informaticae
A regular viewpoint on processes and algebra
Acta Cybernetica
Bialgebraic Methods in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Using control-flow patterns for specifying business processes in cooperative environments
Proceedings of the 2007 ACM symposium on Applied computing
What is a free name in a process algebra?
Information Processing Letters
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Perspectives in component-based software engineering
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
Encoding process algebraic descriptions of web services into BPEL
Web Intelligence and Agent Systems
More Relational Concurrent Refinement: Traces and Partial Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Extended Beam Search for Quantitative Model Checking
Model Checking and Artificial Intelligence
Transactional Reduction of Component Compositions
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Hierarchy of Equivalences for Probabilistic Processes
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Task Model Refinement with Meta Operators
Interactive Systems. Design, Specification, and Verification
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
A Complete Axiomatic System for a Process-Based Spatial Logic
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Generative and Transformational Techniques in Software Engineering II
Carmen: Software Component Model Checker
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Quantifying Timing Leaks and Cost Optimisation
ICICS '08 Proceedings of the 10th International Conference on Information and Communications Security
Consistency between Task Models and Use Cases
Engineering Interactive Systems
Transactions on Computational Systems Biology X
Communications of the ACM - Security in the Browser
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Bialgebraic methods and modal logic in structural operational semantics
Information and Computation
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
The VLDB Journal — The International Journal on Very Large Data Bases
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Dynamic Consistency in Process Algebra: From Paradigm to ACP
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Improving medical protocols by formal methods
Artificial Intelligence in Medicine
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Relational Concurrent Refinement: Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
From Bialgebraic Semantics to Congruence Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional theories of qualitative and quantitative behaviour
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
On bicontinuous bisimulation and the preservation of stability
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A survey of Markovian behavioral equivalences
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Modeling static biological compartments with beta-binders
AB'07 Proceedings of the 2nd international conference on Algebraic biology
A formal calculus for informal equality with binding
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
Slicing of component behavior specification with respect to their composition
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
CNL4DSA: a controlled natural language for data sharing agreements
Proceedings of the 2010 ACM Symposium on Applied Computing
Extraction of component-environment interaction model using state space traversal
Proceedings of the 2010 ACM Symposium on Applied Computing
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Controlling process modularity in mobile computing
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
What semantic equivalences are suitable for non-interference properties in computer security
ICICS'07 Proceedings of the 9th international conference on Information and communications security
Analysis of a session-layer protocol in MCRL2: verification of a real-life industrial implementation
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Expansive-bisimulation for context-free processes
Formal methods and hybrid real-time systems
Ready simulation for concurrency: It's logical!
Information and Computation
A comparative study of STOPA and RTPA
Transactions on computational science II
A property based specification formalism classification
Journal of Systems and Software
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Connection between logical and algebraic approaches to concurrent systems†
Mathematical Structures in Computer Science
Time abstraction in timed µCRL à la regions
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Models of reactive systems: communication, concurrency, and causality
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
A formal model for service mediators
ER'10 Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Possibilities for formal models of smart environments
DNCOCO'10 Proceedings of the 9th WSEAS international conference on Data networks, communications, computers
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
On probabilistic kleene algebras, automata and simulations
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
On quantitative security policies
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Snapshot reachability graphs for Alvis models
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Rigorous discretization of hybrid systems using process calculi
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
Safety and liveness in concurrent pointer programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
On a probabilistic chemical abstract machine and the expressiveness of linda languages
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Conjunction on processes: full–abstraction via ready–tree semantics
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
A formal approach to molecular docking
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A description method of ontology change management using pi-calculus
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Environment-based coordination through coordination artifacts
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Verifying safety of a token coherence implementation by parametric compositional refinement
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Semantics of message sequence charts
SDL'05 Proceedings of the 12th international conference on Model Driven
A generic theorem prover of CSP refinement
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A pi-calculus based ontology change management
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Using process algebra to validate behavioral aspects of object-oriented models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Introduction to semantic web services and web process composition
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Weak bisimulation up to elaboration
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Coalgebraic semantics for component systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Passive conformance testing of service choreographies
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Decidability of modular logics for concurrency
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
Fundamenta Informaticae
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Synchronized Shuffle on Backbones
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Fundamenta Informaticae
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Ready simulation for concurrency: it's logical!
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
A theory of history dependent abstractions for learning interface automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A framework for automatic generation of security controller
Software Testing, Verification & Reliability
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
Modeling robot behavior with CCL
SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots
PIC2LNT: model transformation for model checking an applied pi-calculus
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A uniform definition of stochastic process calculi
ACM Computing Surveys (CSUR)
Formal Description of Alvis Language with α0 System Layer
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
| Hi-index | 0.01 |