Search results for "value-passing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Marco Bernardo 0001	Symbolic semantic rules for producing compact STGLAs from value passing process descriptions.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	symbolic semantics, value passing, Process algebras
56	Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li	A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.	FAW	2007	DBLP DOI BibTeX RDF	value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
50	Michele Boreale, Luca Trevisan	On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract).	FSTTCS	1995	DBLP DOI BibTeX RDF
50	Monica Nesi	Value-Passing CCS in HOL.	HUG	1993	DBLP DOI BibTeX RDF
45	Monica Nesi	Formalising a Value-Passing Calculus in HOL.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Meta-theoretic reasoning, Formal verification, Theorem proving, Higher order logic, Process calculi
43	Guang Zheng, Jinzhao Wu, Lian Li	Stochastic Process Algebra with Value-Passing.	CSSE (3)	2008	DBLP DOI BibTeX RDF
42	Huimin Lin	Model Checking Value-Passing Processes.	APSEC	2001	DBLP DOI BibTeX RDF	value- passing processes, verification algorithms, Model checking, mu-calculus
36	Rance Cleaveland, Daniel Yankelevich	An Operational Framework for Value-Passing Processes.	POPL	1994	DBLP DOI BibTeX RDF
29	C. R. Ramakrishnan 0001	A Model Checker for Value-Passing Mu-Calculus Using Logic Programming.	PADL	2001	DBLP DOI BibTeX RDF
29	Zhoujun Li, Huowang Chen	Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.	TACAS	1999	DBLP DOI BibTeX RDF
29	Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari	A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes.	AMAST	1998	DBLP DOI BibTeX RDF
29	Julian Rathke	Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract).	LICS	1997	DBLP DOI BibTeX RDF
29	Alessandro Fantechi, Stefania Gnesi, Diego Latella	Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.	CONCUR	1996	DBLP DOI BibTeX RDF
29	Michael J. Butler	Refinement and Decomposition of Value-Passing Action Systems.	CONCUR	1993	DBLP DOI BibTeX RDF
27	Glynn Winskel	A Presheaf Semantics of Value-Passing Processes.	CONCUR	1996	DBLP DOI BibTeX RDF
26	Hong Pan, Huimin Lin, Yi Lv	Model Checking Data Consistency for Cache Coherence Protocols.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	value-passing, symbolic transition graphs, model checking, concurrent systems, cache coherence protocols
26	Weijia Deng, Huimin Lin	Extended Symbolic Transition Graphs with Assignment.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	value-passing, symbolic transition graphs, bisimulation checking, model checking, verification, process algebra, Concurrent systems
26	Jing Chen, Huimin Lin	Making Timed Automata Communicate.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	value-passing, timed symbolic transition graph, real-time, timed automata
23	P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson	Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra.	FME	1994	DBLP DOI BibTeX RDF
23	Dominique Bolignano, Mourad Debbabi	Higher Order Communication Processes with Value-Passing, Assignment and Return of Results.	ISAAC	1992	DBLP DOI BibTeX RDF
23	Matthew Hennessy	A Proof System for Communicating Processes with Value-passing (Extended Abstract).	FSTTCS	1989	DBLP DOI BibTeX RDF
16	Ying Jiang, Shichao Liu, Thomas Ehrhard	A fully abstract semantics for value-passing CCS for trees.	Frontiers Comput. Sci.	2019	DBLP DOI BibTeX RDF
16	Shichao Liu, Thomas Ehrhard, Ying Jiang	A Fully Abstract Semantics for Value-passing CCS for Trees.	CoRR	2016	DBLP BibTeX RDF
16	Shichao Liu, Ying Jiang	Value-Passing CCS for Trees: A Theory for Concurrent Systems.	TASE	2016	DBLP DOI BibTeX RDF
16	Shichao Liu, Ying Jiang	Value-passing CCS for Trees: A Theory for Concurrent Systems.	CoRR	2015	DBLP BibTeX RDF
16	Qian Zhang, Ying Jiang, Liping Ding	Modelling and Analysis of Network Security - a Probabilistic Value-passing CCS Approach.	ICICS	2015	DBLP DOI BibTeX RDF
16	Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti	Model Checking Value-Passing Modal Specifications.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
16	Hao Huang, Fei Yang	An Interpretation of Erlang into Value-passing Calculus.	J. Networks	2013	DBLP DOI BibTeX RDF
16	Yuxi Fu	The Value-Passing Calculus.	Theories of Programming and Formal Methods	2013	DBLP DOI BibTeX RDF
16	Shuqin Huang, Yongzhi Cao, Hanpin Wang, Wanling Qu	Value-passing CCS with noisy channels.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
16	Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi	Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing.	HASE	2012	DBLP DOI BibTeX RDF
16	Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi	A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies.	ICSOC	2012	DBLP DOI BibTeX RDF
16	Guang Zheng, Jinzhao Wu, Aiping Lu	Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.	J. Softw.	2011	DBLP DOI BibTeX RDF
16	Radu Mateescu 0001, Damien Thivolle	A Model Checking Language for Concurrent Value-Passing Systems.	FM	2008	DBLP DOI BibTeX RDF
16	Stefan Strubbe, Arjan van der Schaft, Agung Julius	Value passing for communicating piecewise deterministic Markov processes.	ACC	2006	DBLP DOI BibTeX RDF
16	Jing Chen, Zi-Ning Cao	Model Checking Real-Time Value-Passing Systems.	J. Comput. Sci. Technol.	2004	DBLP DOI BibTeX RDF
16	Rui Xue, Huimin Lin	On decidability and model checking for a first order modal logic for value-passing processes.	Sci. China Ser. F Inf. Sci.	2003	DBLP DOI BibTeX RDF
16	Anna Ingólfsdóttir	A semantic theory for value-passing processes based on the late approach.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
16	Anna Ingólfsdóttir, Huimin Lin	A Symbolic Approach to Value-Passing Processes.	Handbook of Process Algebra	2001	DBLP DOI BibTeX RDF
16	Marcelo P. Fiore, Daniele Turi	Semantics of Name and Value Passing.	LICS	2001	DBLP DOI BibTeX RDF
16	Michele Boreale, Luca Trevisan	A complexity analysis of bisimilarity for value-passing processes.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
16	Marco Bernardo 0001	Implementing Symbolic Models for Value Passing in TwoTowers.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
16	Anna Ingólfsdóttir, Rosario Pugliese	Towards Verified Lazy Implementation of Concurrent Value-Passing Languages.	EXPRESS	1999	DBLP DOI BibTeX RDF
16	Pawel Paczkowski	Towards characterizing bisimilarity of value-passing processes with context-free control.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
16	Chrysafis Hartonas, Matthew Hennessy	Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
16	Huimin Lin	"On-the-fly Instantiation" of Value-passing Processes.	FORTE	1998	DBLP BibTeX RDF
16	Dilian Gurov	Specification and verification of communicating systems with value passing.		1998	RDF
16	Julian Rathke, Matthew Hennessy	Local Model Checking for Value-Passing Processes (Extended Abstract).	TACS	1997	DBLP DOI BibTeX RDF
16	Chrysafis Hartonas, Matthew Hennessy	Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing (Extended Abstract).	CSL	1997	DBLP DOI BibTeX RDF
16	Julian Rathke	Symbolic techniques for value-passing calculi.		1997	RDF
16	Monica Nesi	Mechanising a modal logic for value-passing agents in HOL.	INFINITY	1996	DBLP DOI BibTeX RDF
16	Pawel Paczkowski	Characterizing bisimilarity of value-passing parametrised processes.	INFINITY	1996	DBLP DOI BibTeX RDF
16	Dilian Gurov, Sergey Berezin, Bruce M. Kapron	A modal mu-calculus and a proof system for value passing processes.	INFINITY	1996	DBLP DOI BibTeX RDF
16	David Clark 0001, Lindsay Errington, Chris Hankin	Static Analysis of Value-Passing Process Calculi.	Theory and Formal Methods	1994	DBLP BibTeX RDF
16	Rance Cleaveland, James Riely	Testing-Based Abstractions for Value-Passing Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
16	Anna Ingólfsdóttir	Semantic models for communicating processes with value-passing.		1994	RDF
16	Matthew Hennessy, Anna Ingólfsdóttir	Communicating Processes with Value-passing and Assignments.	Formal Aspects Comput.	1993	DBLP DOI BibTeX RDF
16	Matthew Hennessy, Anna Ingólfsdóttir	A Theory of Communicating Processes with Value Passing	Inf. Comput.	1993	DBLP DOI BibTeX RDF
16	Huimin Lin	A Verification Tool for Value-Passing Processes.	PSTV	1993	DBLP BibTeX RDF
16	Zvi Schreiber	Verification of Value-Passing Systems.	NAPAW	1992	DBLP DOI BibTeX RDF
16	Matthew Hennessy	A Proof Sustem for Communicating Processes with Value-Passing.	Formal Aspects Comput.	1991	DBLP DOI BibTeX RDF
16	Matthew Hennessy, Anna Ingólfsdóttir	A Theory of Communicating Processes with Value-Passing.	ICALP	1990	DBLP DOI BibTeX RDF
16	Matthew Hennessy	Value-Passing in Process Algebras (Abstract).	CONCUR	1990	DBLP DOI BibTeX RDF
14	Anna Philippou, George Michael	Verification Techniques for Distributed Algorithms.	OPODIS	2006	DBLP DOI BibTeX RDF
14	Gwen Salaün, Wendelin Serwe	Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.	IFM	2005	DBLP DOI BibTeX RDF
14	Marco Bozzano, Giorgio Delzanno	Algorithmic Verification of Invalidation-Based Protocols.	CAV	2002	DBLP DOI BibTeX RDF
14	C. R. Ramakrishnan 0001	Verification Using Tabled Logic Programming.	CONCUR	2000	DBLP DOI BibTeX RDF
12	Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske	RESTful Petri Net Execution.	WS-FM	2008	DBLP DOI BibTeX RDF
9	William R. Cook, Jayadev Misra	Structured Interacting Computations.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
9	Hubert Garavel, Wendelin Serwe	State Space Reduction for Process Algebra Specifications.	AMAST	2004	DBLP DOI BibTeX RDF
9	Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov	Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.	Global Computing	2004	DBLP DOI BibTeX RDF
9	Qin Ma 0002, Luc Maranget	Compiling Pattern Matching in Join-Patterns.	CONCUR	2004	DBLP DOI BibTeX RDF
7	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer	Low-latency time-portable real-time programming with Exotasks.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	time portability, virtual machine, Real-time scheduling, UAVs
7	Raúl Monroy, Alan Bundy, Ian Green	On Process Equivalence = Equation Solving in CCS.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Unique fixpoint induction, Equational verification Calculus of communicating systems
7	Radu Mateescu 0001, Pascal Poizat, Gwen Salaün	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.	ICSOC	2008	DBLP DOI BibTeX RDF
7	Filippo Bonchi, Ugo Montanari	Symbolic Semantics Revisited.	FoSSaCS	2008	DBLP DOI BibTeX RDF
7	Antonio Cansado, Eric Madelaine	Specification and Verification for Grid Component-Based Applications: From Models to Tools.	FMCO	2008	DBLP DOI BibTeX RDF
7	Samik Basu 0001, Scott A. Smolka	Model checking the Java metalocking algorithm.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	XMC, metalocking, monitor queues, Java, mutual exclusion, synchronized methods
7	Ping Yang 0002, Samik Basu 0001, C. R. Ramakrishnan 0001	Parameterized Verification of pi-Calculus Systems.	TACAS	2006	DBLP DOI BibTeX RDF
7	Mingsheng Ying	pi-calculus with noisy channels.	Acta Informatica	2005	DBLP DOI BibTeX RDF
7	Maria Grazia Vigliotti, Iain Phillips 0001, Catuscia Palamidessi	Separation Results Via Leader Election Problems.	FMCO	2005	DBLP DOI BibTeX RDF
7	Dezhuang Zhang, Rance Cleaveland	Fast Generic Model-Checking for Data-Based Systems.	FORTE	2005	DBLP DOI BibTeX RDF
7	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
7	Natalia López, Manuel Núñez 0001, Fernando Rubio 0001	An integrated framework for the performance analysis of asynchronous communicating stochastic processes.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Functional programming, Stochastic process algebras
7	Martin Berger 0001	Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.	CONCUR	2004	DBLP DOI BibTeX RDF
7	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
7	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.	VMCAI	2003	DBLP DOI BibTeX RDF
7	Huimin Lin, Wang Yi 0001	Axiomatising timed automata.	Acta Informatica	2002	DBLP DOI BibTeX RDF
7	Natalia López, Manuel Núñez 0001, Fernando Rubio 0001	Stochastic Process Algebras Meet Eden.	IFM	2002	DBLP DOI BibTeX RDF	functional programming, Process algebras
7	Mario Coppo, Mariangiola Dezani-Ciancaglini	A Fully Abstract Model for Higher-Order Mobile Ambients.	VMCAI	2002	DBLP DOI BibTeX RDF
7	Martín Abadi, Cédric Fournet	Mobile values, new names, and secure communication.	POPL	2001	DBLP DOI BibTeX RDF
7	Jin-Young Choi, Hee-Hwan Kwak, Insup Lee 0001	A Framework for Embedded Real-Time System Design.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
7	Huimin Lin, Wang Yi 0001	A Complete Axiomatisation for Timed Automata.	FSTTCS	2000	DBLP DOI BibTeX RDF
7	Matthew Hennessy	Axiomatising Asynchronous Process Calculi (abstract).	FCT	1999	DBLP DOI BibTeX RDF
7	Cristian Ene, Traian Muntean	Expressiveness of Point-to-Point versus Broadcast Communications.	FCT	1999	DBLP DOI BibTeX RDF
7	Marcel Ammerlaan, Ronald F. Lutje Spelberg, W. J. Toetenel	XTG-an engineering approach to modelling and analysis of real-time systems.	ECRTS	1998	DBLP DOI BibTeX RDF
7	Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren	Logic Programming and Model Checking.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
7	Zhoujun Li, Huowang Chen	Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
7	Francesca Levi	A Symbolic Semantics for Abstract Model Checking.	SAS	1998	DBLP DOI BibTeX RDF	Model checking, abstract interpretation, ?-calculus
7	Perdita Stevens	Abstract Games for Infinite State Processes.	CONCUR	1998	DBLP DOI BibTeX RDF