Tag bisimulation [42 articles] Export

Recent papers classified by the tag bisimulation.

	On the origins of bisimulation and coinduction [My Copy] ACM Trans. Program. Lang. Syst., Vol. 31, No. 4. (2009), pp. 1-41. by Davide Sangiorgi posted to coinduction bisimulation by sgwyj on 2009-10-21 21:14:14 as
	The joys of bisimulation [My Copy] Mathematical Foundations of Computer Science 1998 In Mathematical Foundations of Computer Science 1998, Vol. 1450 (1998), pp. 142-151. by Colin Stirling posted to simulation bisimulation 1998 by michaelbanks on 2009-09-21 11:39:15 as
	The linear time - branching time spectrum [My Copy] CONCUR '90 Theories of Concurrency: Unification and Extension (1990), pp. 278-297. by R. van Glabbeek posted to process-algebra hra formalism bisimulation by fierykylin on 2009-09-03 08:50:44 as
	Mixing Finite Success and Finite Failure in an Automated Prover [My Copy] In LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) (10 Jan 2006), pp. 79-98. by Alwen Tiu, Gopalan Nadathur, Dale Miller edited by Christoph Benzmueller, John Harrison, Carsten Schuermann posted to bisimulation logic-programming negation by robertjohnsimmons on 2009-08-05 23:59:20 as
	Barbed bisimulation [My Copy] Automata, Languages and Programming (1992), pp. 685-695. by Robin Milner, Davide Sangiorgi posted to bisimulation equivalence process-calculi by robertjohnsimmons on 2009-07-24 21:51:59 as
	On Bisimulation in the π-calculus [My Copy] CONCUR '94: Concurrency Theory (1994), pp. 315-330. by David Walker posted to bisimulation equivalence process-calculi by robertjohnsimmons on 2009-07-24 21:46:06 as
	New up-to techniques for weak bisimulation☆ [My Copy] Theoretical Computer Science, Vol. 380, No. 1-2. (21 June 2007), pp. 164-180. by D. Pous posted to bisimulation equivalence by robertjohnsimmons on 2009-07-24 19:48:18 as
	Tree Morphisms and Bisimulations [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 18 (1998), pp. 46-64. by R. Denicola, A. Labella posted to bisimulation tree by sgwyj on 2009-06-17 23:33:05 as
	An efficient algorithm for computing bisimulation equivalence [My Copy] Theor. Comput. Sci., Vol. 311, No. 1-3. (2004), pp. 221-256. by Agostino Dovier, Carla Piazza, Alberto Policriti posted to algorithm bisimulation by sgwyj on 2009-06-16 14:36:11 as
	Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata [My Copy] SIAM J. Comput., Vol. 34, No. 5. (2005), pp. 1159-1175. by Kousha Etessami, Thomas Wilke, Rebecca A. Schuller posted to bisimulation games parity simulation by sgwyj on 2009-06-13 10:11:10 as
	Fair Bisimulation [My Copy] In TACAS '00: Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems (2000), pp. 299-314. by Thomas A. Henzinger, Sriram K. Rajamani posted to bisimulation fairness by sgwyj on 2009-06-13 09:56:46 as
	Towards Information Flow Properties for Distributed Systems [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 236 (2009), pp. 65-84. by Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci posted to 2009 bisimulation distributed information-flow nondeducibility property security system by michaelbanks on 2009-05-06 15:59:47 as
	On the Origins of Bisimulation and Coinduction [My Copy] ACM Transactions on Programming Languages and System, Vol. Na (Na), pp. Na-Na. by Davide Sangiorgi posted to bisimulation by ombamawu on 2009-04-28 09:57:31 as along with 1 person sgwyj
	Initial algebra and final coalgebra semantics for concurrency [My Copy] A Decade of Concurrency Reflections and Perspectives (1994), pp. 530-582. by Jan Rutten, Daniele Turi posted to bisimulation category_theory coalgebra transition_systems by robotact on 2009-04-14 18:02:31 as
	Universal coalgebra: a theory of systems [My Copy] Theoretical Computer Science, Vol. 249, No. 1. (17 October 2000), pp. 3-80. by J. J. M. M. Rutten posted to bisimulation category_theory coalgebra transition_systems by robotact on 2009-04-14 17:30:38 as along with 1 person marcinzalewski
	Bisimulation for probabilistic transition systems: a coalgebraic approach [My Copy] Theor. Comput. Sci., Vol. 221, No. 1-2. (1999), pp. 271-293. by E. P. de Vink, J. J. M. M. Rutten posted to bayesian bisimulation coalgebra by robotact on 2009-04-14 16:57:09 as
	A tutorial on (co)algebras and (co)induction [My Copy] EATCS Bulletin, Vol. 62 (1997), pp. 62-222. by Bart Jacobs, Jan Rutten posted to bisimulation coalgebra computer_science tutorial by robotact on 2009-04-14 16:40:47 as along with 6 people dimvar ama08r ddemange fvogels draganigajic pedagand
	Bisimulation invariance and finite models [My Copy] In In Logic Colloquium ’02, Vol. 27 (2006) by Martin Otto posted to bisimulation invariance by sgwyj on 2009-04-04 14:41:07 as
	Modeling cellular behavior with hybrid automata: Bisimulation and collapsing [My Copy] In In Int. Workshop on Computational Methods in Systems Biology (CMSB'03), LNCS, Vol. 2602 (2003), pp. 57-74. by M. Antoniotti, B. Mishra, C. Piazza, A. Policriti, M. Simeoni posted to automata bisimulation hybrid by fierykylin on 2009-01-28 07:41:57 as
	Behavioural equivalence in simulation modelling [My Copy] Simulation Modelling Practice and Theory, Vol. 15, No. 1. (January 2007), pp. 1-20. by Rob Pooley posted to analysis behavior behavioural bisimulation equivalence fomalism modeling pides qualitative quantitative by fierykylin on 2009-01-20 22:40:36 as along with 1 person and 2 groups roland_ewald dIEMoSIRIS MoSi-Rostock
	Simulating without negation [My Copy] J. Logic Comput., Vol. 7, No. 4. (1997), pp. 501-522. by Natasha Kurtonina, Maarten de Rijke posted to bisimulation _copy modal_logic negation substructural_logics by adrian_pigors on 2008-07-02 11:09:51 as
	Extensive Games as Process Models [My Copy] Journal of Logic, Language and Information, Vol. 11, No. 3. (1 June 2002), pp. 289-313. by Johan van Benthem posted to bisimulation extensive game games logic by JakubSzymanik on 2008-06-11 17:19:08 as along with 1 person christiankissig
	Equivalence of dynamical systems by bisimulation [My Copy] Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 49, No. 12. (2004), pp. 2160-2172. by A. J. van der Schaft posted to bisimulation by samsa1980 on 2008-05-26 07:49:28 as
	Games and logics for a noninterleaving bisimulation [My Copy] Nordic J. of Computing, Vol. 2, No. 2. (1995), pp. 221-249. by Mogens Nielsen, Christian Clausen posted to bisimulation computability-logic games by Scis0000002 on 2008-05-22 23:17:29 as
	Epistemic Equivalence and Bisimulation [My Copy] by Jelle Gerbrandy posted to bisimulation epistemic kripke by sknight on 2008-02-01 21:43:24 as
	Model Checking and Other Games [My Copy] (1996) by Colin Stirling posted to bisimulation by kalmar on 2007-12-17 20:51:19 as
	Bisimulation, Model Checking and Other Games [My Copy] by Colin Stirling posted to bisimulation by kalmar on 2007-12-17 10:56:41 as
	Barbed Bisimulation [My Copy] In Proceedings ICALP '92, Vol. 623 (1992), pp. 685-695. by Robin Milner, Davide Sangiorgi posted to bisimulation by kalmar on 2007-12-05 04:11:03 as
	A Categorical Axiomatics for Bisimulation [My Copy] In International Conference on Concurrency Theory (1998), pp. 581-596. by Gian L. Cattani, John Power, Glynn Winskel posted to axiomatics axiomatization bisimulation categorical by Scis0000002 on 2007-07-14 13:43:49 as
	Open Ended Systems, Dynamic Bisimulation and Tile Logic [My Copy] by Roberto Bruni, Ugo Montanari, Vladimiro Sassone posted to bisimulation by Scis0000002 on 2007-07-13 08:19:00 as
	Behavioural Equivalence, Bisimulation, and Minimal Realisation [My Copy] In Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification (1996), pp. 359-378. by Grant Malcolm posted to behavior bisimulation equivalence similarity state-space by Scis0000002 on 2007-07-11 14:25:32 as
	An Implementation of an Efficient Algorithm for Bisimulation Equivalence [My Copy] Science of Computer Programming, Vol. 13, No. 1. (1989), pp. 219-236. by Jean C. Fernandez posted to algorithm bisimulation by shenshei on 2007-04-02 09:53:05 as
	A Categorical Axiomatics for Bisimulation [My Copy] In International Conference on Concurrency Theory (1998), pp. 581-596. by Gian L. Cattani, John Power, Glynn Winskel posted to categorical bisimulation by scis0000001 on 2007-02-05 12:19:08 as
	Bisimilar Hybrid Systems [My Copy] by Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas posted to hybrid-system bisimulation by scis0000001 on 2007-02-03 15:40:26 as
	Presheaf Models for Concurrency [My Copy] In CSL (1996), pp. 58-75. by Gian L. Cattani, Glynn Winskel posted to bisimulation category-theory concurrency presheaves by scis0000001 on 2006-12-16 14:20:24 as along with 1 person jrw
	Operational Semantics and Bisimulation [My Copy] No. 217. (2001) by Li Yongjian, He Jifeng posted to bisimulation operational-semantics transition-system by scis0000001 on 2006-11-24 14:16:36 as
	Why ever CSP? [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Vol. 162 (29 September 2006), pp. 209-215. by Tony Hoare posted to no-tag unifying_theories retractions refinement csp ccs bisimulation 2006 by leonardo on 2006-11-01 01:31:13 as along with 2 people ajk cbertolini
	A bisimulation for dynamic sealing [My Copy] In Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 161-172. by Eijiro Sumii, Benjamin C. Pierce posted to bisimulation contextual-equivalence by jacob on 2006-05-05 15:05:55 as
	A bisimulation for type abstraction and recursion [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 40, No. 1. (January 2005), pp. 63-74. by Eijiro Sumii, Benjamin C. Pierce posted to bisimulation contextual-equivalence by jacob on 2006-05-05 15:04:27 as
	What is the coalgebraic analogue of Birkhoff's variety theorem? [My Copy] Theoretical Computer Science, Vol. 266, No. 1-2. (6 September 2001), pp. 853-886. by Robert Goldblatt posted to bisimulation coalgebra observable_formula by CLLC on 2006-03-27 11:46:56 as
	Final coalgebras and the Hennessy-Milner property [My Copy] Annals of Pure and Applied Logic In New Zealand Institute of Mathematics and its Applications: Logic and Computation Programme, Vol. 138, No. 1-3. (March 2006), pp. 77-93. by Robert Goldblatt posted to abstract_logic bisimilarity bisimulation coalgebra coinductive congruence final_object by CLLC on 2006-03-27 11:42:14 as
	Imperative program optimization by partial evaluation [My Copy] In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 113-122. by S&\#248;ren Debois posted to bisimulation partialevaluation staticanalysis by pejo on 2005-08-12 09:47:23 as

Note: You may cite this page as: http://www.citeulike.org/tag/bisimulation

coalgebra	6
equivalence	5
games	4
algorithm	3
simulation	3
behavior	2
categorical	2
category_theory	2
coinduction	2
contextual-equivalence	2
fairness	2
invariance	2
negation	2
parity	2
process-calculi	2
transition_systems	2
tree	2
1998	1
2006	1
2009	1
_copy	1
abstract_logic	1
analysis	1
automata	1
axiomatics	1
axiomatization	1
bayesian	1
behavioural	1
bisimilarity	1
category-theory	1
ccs	1
coinductive	1
computability-logic	1
computer_science	1
concurrency	1
congruence	1
csp	1
distributed	1
epistemic	1
extensive	1
final_object	1
fomalism	1
formalism	1
game	1
hra	1
hybrid	1
hybrid-system	1
information-flow	1
kripke	1
logic	1
logic-programming	1
modal_logic	1
modeling	1
nondeducibility	1
observable_formula	1
operational-semantics	1
partialevaluation	1
pides	1
presheaves	1
process-algebra	1
property	1
qualitative	1
quantitative	1
refinement	1
retractions	1
security	1
similarity	1
state-space	1
staticanalysis	1
substructural_logics	1
system	1
transition-system	1
tutorial	1
unifying_theories	1

Tag bisimulation [42 articles] Export

Related Tags