Search results for "TCSP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
144	Lin Xu, Berthe Y. Choueiry	Improving Backtrack Search for Solving the TCSP.	CP	2003	DBLP DOI BibTeX RDF
102	Brendan P. Mahony, Jin Song Dong	Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	TCSP, Integrated Formal Methods, Object-Z, TCOZ
94	Phillip J. Brooke, Richard F. Paige	The Design of a Tool-Supported Graphical Notation for Timed CSP.	IFM	2002	DBLP DOI BibTeX RDF	process algebra, tool support, graphical notation, Timed CSP
69	Luis M. Alonso, Ricardo Pena	Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.	PARLE (2)	1991	DBLP DOI BibTeX RDF
64	Amar Isli	Arc-Consistency computes the minimal binarised domains of an STP. Use of the result in a TCSP solver, in a TCSP-based job shop scheduler, and in generalising Dijkstra's one-to-all algorithm.	CoRR	2020	DBLP BibTeX RDF
51	Mila E. Majster-Cederbaum, Frank Salger	A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.	ASIAN	1999	DBLP DOI BibTeX RDF
51	Ricardo Pena, Luis M. Alonso	A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.	TAPSOFT	1993	DBLP DOI BibTeX RDF
51	Luis M. Alonso	Using State Variables for the Specification and Verfication of TCSP Processes.	PARLE	1993	DBLP DOI BibTeX RDF
51	Ricardo Pena, Luis M. Alonso	Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
38	Yuechang Liu, Hong Qian, Yunfei Jiang	Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems.	TIME	2007	DBLP DOI BibTeX RDF
38	Stephan Schulz 0002	A Transformation for System Level Design Model Specifications into Implementation Descriptions.	SCCC	2001	DBLP DOI BibTeX RDF	CSP, system modeling, codesign, embedded systems design
38	Thierry Vidal, Hélène Fargier	Contingent Durations in Temporal CSPs: From Consistency to Controllabilities.	TIME	1997	DBLP DOI BibTeX RDF	temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic
33	Ángel Fernández-Leal, Vicente Moret-Bonillo	The CTCN Temporal Model for Representing Knowledge in the Sleep Apnea Syndrome Diagnostic Task.	KES (1)	2007	DBLP DOI BibTeX RDF	Sleep Apnea Syndrome, CTCN, TCSP, medical diagnosis, Temporal knowledge
32	Amar Isli	A TCSP-like decidable constraint language generalising existing cardinal direction relations	CoRR	2004	DBLP BibTeX RDF
32	Amar Isli	Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation	CoRR	2003	DBLP BibTeX RDF
32	Christel Baier, Mila E. Majster-Cederbaum	The Connection between an Event Structure Semantics and an Operational Semantics for TCSP.	Acta Informatica	1994	DBLP DOI BibTeX RDF
32	Christel Baier, Mila E. Majster-Cederbaum	The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP.	FCT	1991	DBLP DOI BibTeX RDF
32	Dirk Taubner	Finite Representations of CCS and TCSP Programs by Automata and Petri Nets		1989	DOI RDF
32	Ernst-Rüdiger Olderog	TCSP: Theory of Communicating Sequential Processes.	Advances in Petri Nets	1986	DBLP DOI BibTeX RDF
32	Ernst-Rüdiger Olderog	Specification-Oriented Programming in TCSP.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
19	Bahareh Jafari Jashmi, Malek Mouhoub	Solving Temporal Constraint Satisfaction Problems with Heuristic Based Evolutionary Algorithms.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
19	Priti Chandra, Arun K. Pujari	Minimality and Convexity Properties in Spatial CSPs.	ICTAI	2005	DBLP DOI BibTeX RDF
19	Benjamin Han, Alon Lavie	A framework for resolution of time in natural language.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	temporal information processing, knowledge representation, temporal reasoning, constraint solving, computational semantics
19	Stephen D. Brookes	Retracing the Semantics of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
19	Isabel Navarrete, Abdul Sattar 0001, Roque Marín	Deciding consistency of a point-duration network with metric constraints.	TIME	2003	DBLP DOI BibTeX RDF	Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning
19	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
19	Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang	XML-Based Static Type Checking and Dynamic Visualization for TCOZ.	ICFEM	2002	DBLP DOI BibTeX RDF	TCOZ tool support, XML/XSL, UML/XMI
19	Lin Xu	Reformulation of Temporal Constraint Networks.	SARA	2002	DBLP DOI BibTeX RDF
19	Hong-ming Yeh, Jane Yung-jen Hsu, Han-Shen Huang	A Geometric Approach to Anytime Constraint Solving for TCSPs.	PRICAI	1998	DBLP DOI BibTeX RDF
19	Homayoun Dayani-Fard, Andrew J. Malton	Phased development of critical real-time systems in timed CSP.	CASCON	1995	DBLP BibTeX RDF
19	Jos C. M. Baeten, Jan A. Bergstra	Process Algebra with Partial Choice.	CONCUR	1994	DBLP DOI BibTeX RDF
19	Yolanda Ortega-Mallén, David de Frutos-Escrig	A Complete Proof System for Timed Observations.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
19	Luca Aceto, Anna Ingólfsdóttir	A Theory of Testing for ACP.	CONCUR	1991	DBLP DOI BibTeX RDF
19	Frank S. de Boer, Catuscia Palamidessi	On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences.	CONCUR	1990	DBLP DOI BibTeX RDF	1987 Computing Reviews Categories D.1.3, D.3.1, F.1.2, F.3.2
19	Walter Vogler	Failures Semantics and Deadlocking of Modular Petri Nets.	MFCS	1988	DBLP DOI BibTeX RDF