Search results for "Capture-avoidance"

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Wayne Hayes, Mart L. Molle	Solving capture in switched two-node Ethernets by changing only one node.	LCN	1995	DBLP DOI BibTeX RDF	telecommunication switching, Ethernet medium access control protocol, switched two-node Ethernets, short-term unfairness, heavily loaded Ethernets, capture avoidance binary exponential back-off, two-node collision domain, equal time round-robin scheme, modified node, attempts counter, aggressively persistent system, completely passive system, low delay shared channel access, fair shared channel access, round-robin shared channel access, local area networks, access protocols, capture effect, active nodes
33	Murdoch James Gabbay, Aad Mathijssen	Capture-avoiding substitution as a nominal algebra.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
18	Huanhui Cao, Zhiyuan Cai, Hairuo Wei, Wenjie Lu, Lin Zhang, Hao Xiong 0004	Safe Reinforcement Learning for a Robot Being Pursued but with Objectives Covering More Than Capture-avoidance.	CoRR	2022	DBLP DOI BibTeX RDF
18	Nico Ritschel, Sebastian Erdweg	Modular capture avoidance for program transformations.	SLE	2015	DBLP DOI BibTeX RDF
10	Murdoch Gabbay, Aad Mathijssen	A Formal Calculus for Informal Equality with Binding.	WoLLIC	2007	DBLP DOI BibTeX RDF
10	Christine Röckl, Daniel Hirschkoff, Stefan Berghofer	Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.	FoSSaCS	2001	DBLP DOI BibTeX RDF

Displaying result #1 - #6 of 6 (100 per page; Change: )